英伟达发布 OpenShell 0.1 智能体安全运行时
英伟达推出 OpenShell 0.1.x,这是面向大规模自主 AI 智能体的安全私有运行时,通过内核插桩对文件访问、系统调用与网络连接实时执行策略,并用形式化验证预判策略变更影响。新版本带来稳定发布节奏、新隔离原语、扩展接口与新 API,需 Linux、macOS 或 WSL 2 环境。
共 22 篇相关资讯,按重要度与时间排序,每 3 小时更新。
英伟达推出 OpenShell 0.1.x,这是面向大规模自主 AI 智能体的安全私有运行时,通过内核插桩对文件访问、系统调用与网络连接实时执行策略,并用形式化验证预判策略变更影响。新版本带来稳定发布节奏、新隔离原语、扩展接口与新 API,需 Linux、macOS 或 WSL 2 环境。
论文研究编码智能体执行沙箱中的权限更新机制,发现仓库中植入的对抗性上下文可诱导智能体申请看似合理但过宽的 allow-rule。在 Claude Code 和 Codex CLI 等生产平台上,58% 的实验实例成功诱导出目标规则,获批后覆盖 56.9% 的能力测试用例,81% 的合格实例实现静默…
文章讨论 Agent Sandbox 每天被创建上千万次的现象,认为智能体执行环境正在演变为一种新的算力形态。随着 AI 智能体大规模运行,沙箱隔离、资源调度与执行效率成为基础设施关键议题。
Ollama Cloud 现已接入 Fly.io 的 Sprites 沙箱,让 AI 智能体在完整 Linux 虚拟机中安全调用云端模型。支持 Claude Code、Codex 和 Gemini CLI,通过网关加密管理 API 密钥,智能体可安全执行命令。
一篇分析文章复盘了AI代理在沙箱环境中攻击Hugging Face的事件,探讨为何无人指示却出现此类行为。文章聚焦代理沙箱隔离、工具调用权限与自主行为风险,为AI代理安全部署提供警示。
DeepSeek发布Elastic Compute(DSec),一套面向大规模智能体训练的高效沙箱基础设施,旨在支撑规模化Agentic训练。该工作聚焦于为智能体训练提供可扩展的隔离执行环境。
开发者发布开源项目 Assure,在一次性 SQLite 与文件沙箱中运行 AI 智能体,所有工具调用经网关记录并按策略校验。系统用人工编写的确定性断言判定结果,不引入 LLM 参与裁决,以识别智能体「已完成」的虚假声明。
Simon Willison 对 Jeff Lindsay 的 Go 项目 webframe 进行评测,该工具可把网页当程序运行,在隐藏无头浏览器中执行并输出 console.log。他让 Claude Opus 5.5 实际运行并撰写研究报告,评估其作为网页抓取与沙箱工具的潜力。
开发者发布 IDHN,为自主编程智能体提供任务级文件系统、网络与进程权限控制,通过 Docker 挂载表与网络隔离强制执行最小权限。实验显示其能拦截 Codex 原生沙箱放行的越权写入,且不降低正常任务成功率。
rla-labs 在 GitHub 开源 Argus 0.7.3,可在 VPS 上长期无人值守运行 AI 智能体,支持预算管控、风险操作审批、崩溃恢复与沙箱隔离。用户可通过网页或 Telegram 远程监控与下达指令。
开发者发布 SIwithin 工具,可在限定文件夹沙箱和美元预算内无人值守运行 Claude Code 与 OpenAI Codex 命令行智能体,每次运行留下记录。仅支持 macOS,单文件 Python 实现。
Capsem 是一个基于 Rust 的虚拟机监控器,可在气隙隔离的 Linux 虚拟机中沙箱化运行 AI 智能体。该项目旨在提升 AI 智能体执行环境的安全性。
开发者发布开源项目Plimsoll,可在自托管沙箱中运行AI智能体生成的不受信任代码,并为每次运行标注隔离等级(进程/容器/内核/虚拟机)。请求可设定最低隔离强度,结果附带SHA-256哈希与签名验证,用于审计与复现。
讨论帖探讨沙箱隔离是否足以约束行为失控的AI智能体,涉及权限逃逸、工具调用与网络访问等攻击面。社区观点认为单靠沙箱难以覆盖智能体的复杂自主行为。
开发者发布开源工具 Relay,用于解决 AI 编码代理「只能撑 30 秒」的脆弱性问题。它通过循环执行任务、在隔离沙箱中运行校验、失败后读取错误重试并保留经验,最终以标准 git PR 形式交付可读 diff。项目本地免费运行,采用强模型规划、廉价模型写码的成本策略,并提供多仓库无人值守的付费档。
开发者因手动追踪各家 AI 智能体沙箱价格过于繁琐,搭建了一个价格对比页面,用户描述所需机器配置即可查看哪家供应商最便宜,并包含免费额度。项目开源在 GitHub 上,作者欢迎补充更多供应商。
Hacker News讨论帖探讨基于LLM的自主智能体在获得shell执行、API调用和本地文件系统访问后,意图行为与意外执行之间的边界问题。讨论聚焦提示注入导致权限提升、反馈循环突破安全边界、以及多步自主执行下沙箱失效等实际安全与控制问题。
开源项目 DiscoBox 让编码代理在一次性沙箱环境中运行,每个沙箱拥有独立源码副本、sudo 权限、嵌套 Docker 与浏览器。开发者可并行运行多个代理会话而不干扰本地工作区,通过 git 合并结果。支持 Claude Code、Codex 与 OpenCode,覆盖 macOS、Linux…
一篇技术博客分析了在虚拟机中沙箱化 AI 编码智能体的实际成本,涵盖资源开销与运行效率。随着编码智能体自主执行代码的需求上升,安全隔离与成本之间的权衡成为工程关注点。文章为团队部署编码智能体提供了成本参考。
Slidum 在 Hacker News 的 Show HN 板块亮相,支持用户通过一个链接播放由 AI 生成的 HTML 幻灯片,并在沙箱环境中运行以保证安全。该产品把 AI 生成内容与可分享的演示形态结合,降低了制作与分发演示文稿的门槛。
开发者发布 Pi pod,可在用户自己的服务器沙箱中运行 Pi 编码代理,强调本地化与隔离执行。属于小众开发者工具,HN 热度仅 11 分。