英伟达发布OpenShell 0.1.x，为成批自主AI智能体提供受限运行环境。智能体需要读文件、装软件包、调API和使用凭据才有用，OpenShell让每个智能体在隔离沙箱中运行，由内核控制限制可访问的文件与系统调用，每次网络连接离开沙箱前都要通过策略检查，智能体也看不到真实凭据。策略变更在生效前用形式化验证标出将新增的高风险访问，例如带凭据访问新主机，这类改动等待人工审核。
每个智能体运行在独立沙箱中，内核控制限定它能访问哪些文件、能发起哪些系统调用，网络连接在离开沙箱前必须通过策略检查。 凭据不以真实形式交给智能体，OpenShell只在发往已批准端点的请求上附加凭据。 策略变更获批前，形式化验证会标出它将授予的高风险新访问，例如用凭据访问新主机或调用新的API方法，这类变更转入人工审核。
安装后即可创建沙箱：安装脚本配置命令行工具和本地网关，默认沙箱镜像是未安装任何智能体的精简Ubuntu。 要运行真实智能体需按入门教程操作，该教程让OpenCode对接一个免费的OpenRouter模型，并演示智能体需要新访问时如何批准。 运行环境要求Linux、Apple Silicon上的macOS，或带WSL 2的Windows（实验性），并需要Docker、Podman或主机虚拟化。
已展示的范围是OpenShell 0.1.x的运行时机制与安装使用路径：隔离沙箱、内核级策略执行、经批准端点才附加的凭据、策略变更前的形式化验证，以及网关、提供者和Kubernetes部署方式；面向需要在受控环境中运行自主智能体的研究人员与工程师。
发布说明把Windows上的WSL 2支持标为实验性，并要求Kubernetes部署时CNI必须执行NetworkPolicy；形式化验证被描述为在策略变更获批前标出高风险新访问，而非替代人工审核。
