策略先证明再放行：给智能体舰队的内核沙箱
来源：GitHub — 2026-10-26 · ⭐ 19,807 stars · Rust
📋 概述
英伟达给成批自主智能体做的运行时，核心是把「能做什么」写成策略再由内核执行。它在内核层对每次文件访问、系统调用和网络连接做策略检查，智能体永远看不到真凭证，只有发往已批准端点的请求才会被注入密钥；策略变更在生效前先过形式化验证，把这次改动会新放开的能力提前标出来等人审。0.1 线补上了稳定发布节奏、新的隔离原语、更宽的扩展面和新的 API，Python、TypeScript、Go、Rust 四种 SDK 也配齐了。
🔑 核心要点
- 执行与审批两条腿：内核插桩负责运行时强制，形式化证明器负责事前预演，比如新增某台主机的凭证访问或调用某个新 API 方法，都会先被拦下来评审。
- 部署形态齐备：一条安装脚本同时装 CLI 与本地网关，上 Kubernetes 用 Helm 部署网关，但前提是集群 CNI 真的会执行 NetworkPolicy。
- 默认镜像是干净的最小 Ubuntu，不带任何智能体；官方入门教程用 OpenCode 接一个免费模型，演示智能体中途需要新权限时怎么逐次批准。
- 它自己也配了技能包：让编码智能体学会驱动 CLI、写沙箱策略、排查网关与推理路由，不需要检出源码就能用。
- 遥测边界写得具体：只收运营类目和计数，不收沙箱名、主机名、路径、提示词、凭证、提供商或模型名，可整体编译去除或用环境变量关掉。
💡 金句
You declare what each agent can touch in a policy, and OpenShell enforces it.
👍 0
👎 0
← 返回 GitHub Trending 首页