NVIDIA OpenShell 0.1 发布支持内核级隔离与形式化验证的 Agent 运行时

NVIDIA 正式发布 OpenShell 0.1，这是一个专为 AI Agent 集群设计的安全、私有运行时环境。该工具允许 Agent 读取文件、安装包和调用 API，但通过策略声明强制执行访问限制，防止 Agent 接触未授权数据或凭证。其核心架构包含内核级执行（Kernel-level enforcement）和形式化验证策略变更（Formally verified policy changes），确保每个系统调用和网络连接都经过实时检查。

OpenShell 在 Linux、macOS Apple Silicon 及 Windows WSL 2 上运行，依赖 Docker、Podman 或主机虚拟化。它通过网关（Gateway）控制沙盒生命周期，利用形式化验证器（Prover）在应用新策略前标记潜在风险，如向新主机发送凭证或调用新 API 方法，从而触发人工审核。此外，项目提供 SDK 用于连接应用程序，并内置匿名遥测功能，默认仅收集操作类别和计数，不包含敏感信息。

事实层面，该项目采用 Apache License 2.0 许可，支持 Python、TypeScript、Go 和 Rust SDK。推断层面，这种架构将 Agent 的“能力”与“权限”解耦，解决了当前 Agent 开发中普遍存在的安全黑盒问题。猜测层面，若未来集成更多异构硬件驱动，可能成为企业级 Agent 基础设施的标准组件。