GitHub · 去对齐工具与仓库·· 20 天前精选AI 评分64
Gravelpit 开源:面向 Linux 上 LLM 编程 Agent 的沙箱工具
tsaarni/gravelpit
来源与原文
GitHub · 去对齐工具与仓库
发布时间:(北京时间)
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/tsaarni/gravelpit
本站目前仅有 AI 导读与摘要,未展示原文正文;技术细节、代码和完整结论请查看原始来源。
AI 导读
tsaarni 在 GitHub 发布 Gravelpit,一个面向 Linux 上 LLM 编程 Agent 的沙箱,目标是让 Agent 几乎无需逐条命令确认即可工作。工具通过 seccomp 的 SECCOMP_RET_USER_NOTIF 拦截 open() 和 connect() 系统调用,由监督进程用 process_vm_readv 读取参数并按 CEL 策略规则允许或拒绝,拒绝时向 Agent 的 stderr 输出解释并记录全部操作。作者明确说明它不是硬安全边界,存在 SECCOMP_RET_USER_NOTIF 固有的 TOCTOU 竞态,且允许 docker 意味着 Agent 可提权到 root。
推荐理由
原文讲清了用 seccomp 拦截 open 与 connect 系统调用、CEL 规则判定和缓存机制,也如实列出 TOCTOU 竞态等局限,读者可自行评估适用场景。
来源:GitHub · 去对齐工具与仓库 · github.com