Back to Devoured - September 30, 2026
DEVOURED
OpenShell (GitHub Repo)

OpenShell (GitHub Repo)

DevOps GitHub
NVIDIA's OpenShell uses kernel-level enforcement and formal verification to sandbox autonomous AI agents, preventing unauthorized file, network, and system access.
What: OpenShell is an Apache-2.0 runtime that restricts agent capabilities using policy-based syscall, filesystem, and network controls. It supports GPU workloads, Kubernetes via Helm, and provides SDKs for Python, TypeScript, Go, and Rust.
Why it matters: This project treats AI agent security as an OS-level isolation problem rather than a model-prompting problem, shifting the burden from trust-by-design to enforced runtime governance.
Takeaway: Test your first agent with OpenShell by running `curl -LsSf https://raw.githubusercontent.com/NVIDIA/OpenShell/main/install.sh | sh`.
Deep dive
  • Implements kernel-level instrumentation for sandbox security.
  • Uses formal verification to check policy changes for risky access patterns.
  • Provides a gateway and supervisor architecture to mediate agent requests.
  • Allows credentials to be injected only for approved endpoints.
  • Compatible with Docker, Podman, and Kubernetes (CNI must support NetworkPolicy).
  • Supports GPU acceleration for agent workloads.
  • Provides SDKs for four programming languages.
  • Includes an agent-driven CLI for managing sandboxes.
Decoder
  • Formal verification: A mathematical technique used to prove that the code or policy meets certain specifications, ensuring no unauthorized states are reachable.
Original article

New in OpenShell 0.1.x: a stable release cadence, new isolation primitives, an expanded extension surface, and new APIs. Read the 0.1.0 upgrade guide.

OpenShell is the safe, private runtime for fleets of autonomous AI agents. Agents are most useful when they can read files, install packages, call APIs, and use credentials. OpenShell gives them that capability without giving them unrestricted access to your data, secrets, or network. You declare what each agent can touch in a policy, and OpenShell enforces it.

How It Works

OpenShell governs what agents can do in two ways: it instruments the kernel to enforce policy on every file access, system call, and network connection at runtime, and it uses formal verification to check what a policy change would allow before it is applied.

  • Kernel-level enforcement. Each agent runs in an isolated sandbox. Kernel controls confine which files it can access and which system calls it can make, and every network connection passes through a policy check before it leaves the sandbox. Agents never see real credentials; OpenShell adds them only to requests bound for approved endpoints.
  • Formally verified policy changes. Before a policy change is approved, OpenShell uses formal verification to flag risky new access it would grant, such as reaching a new host with credentials or calling a new API method, so those changes wait for human review.

See Architecture for how the gateway, supervisor, and sandbox fit together.

Quickstart

You need Linux, macOS on Apple Silicon, or Windows with WSL 2 (experimental), plus Docker, Podman, or host virtualization. See the Support Matrix for details.

curl -LsSf https://raw.githubusercontent.com/NVIDIA/OpenShell/main/install.sh | sh
openshell sandbox create --name demo

The installer sets up the CLI and a local gateway. The default sandbox image is minimal Ubuntu with no agent installed. To run a real agent, follow Run Your First Agent: it runs OpenCode against a free OpenRouter model and shows how to approve new access as the agent needs it.

Explore Further

Agent Skills

Install the public OpenShell skills for your coding agent:

npx skills add NVIDIA/OpenShell

The skills teach your agent to drive the OpenShell CLI, write sandbox policies, and debug gateways and inference routing.

SDKs

SDKs connect applications to an OpenShell gateway. They do not install the CLI. Use the same OpenShell release for the SDK and the gateway when possible.

Language Install
Python uv add openshell
TypeScript npm install @nvidia/openshell-sdk
Go go get github.com/NVIDIA/OpenShell/sdk/go@latest
Rust cargo add openshell-sdk --git https://github.com/NVIDIA/OpenShell

Community

OpenShell is built agent-first: it is developed with the same agent-driven workflows it enables.

Telemetry

OpenShell collects anonymous telemetry, limited to operational categories and counts, to help improve the project. It does not collect sandbox names, hostnames, file paths, prompts, credentials, provider or model names, or user content. To disable it, set OPENSHELL_TELEMETRY_ENABLED=false on the gateway, or server.telemetryEnabled=false for Helm installs. See Telemetry for details.

Notice and Disclaimer

This software automatically retrieves, accesses or interacts with external materials. Those retrieved materials are not distributed with this software and are governed solely by separate terms, conditions and licenses. You are solely responsible for finding, reviewing and complying with all applicable terms, conditions, and licenses, and for verifying the security, integrity and suitability of any retrieved materials for your specific use case. This software is provided "AS IS", without warranty of any kind. The author makes no representations or warranties regarding any retrieved materials, and assumes no liability for any losses, damages, liabilities or legal consequences from your use or inability to use this software or any retrieved materials. Use this software and the retrieved materials at your own risk.

License

This project is licensed under the Apache License 2.0.

Explore all 57 articles in today's digest

Fresh dev news, AI-digested daily. Never miss a trend at devoured.fyi