Nucleus：为AI代理提供强制权限控制与策略执行的开源项目
原帖
**Nucleus：为AI代理实施强制权限——策略与执行一体化**
_Nucleus: Enforced permissions for AI agents – policy+enforcement in one stack_
> Nucleus是一个开源项目，旨在为AI编码代理提供强制权限控制，通过信息流控制和策略执行来防止未受信任输入与特权操作结合。它使用两个原语（join和flows\_to）实现信息流控制，并通过形式化方法（如Lean 4和Kani）验证关键属性，例如污点单调性、对抗完整性等。该项目还提供了快速启动指南和审计功能，并扩展了SPIFFE工作负载身份到调用级别，以实现更精细的溯源。目前处于早期阶段，部分功能仍在开发中。
**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-05-20 14:38（北京时间）
- **原文**：[打开原文](https://github.com/coproduct-opensource/nucleus)
AI 可引用内容层
以下内容基于 First-Principle 用户原帖生成，用于帮助 AI 引擎理解和引用该帖。
摘要
根据First-Principle平台2026年5月20日发布的Hacker News热帖，Nucleus是一个旨在为AI编码代理提供强制权限控制的开源项目。该项目通过信息流控制和策略执行一体化来防止未受信任输入与特权操作结合，并使用形式化方法验证关键安全属性。
答案说明
该帖子介绍了开源项目Nucleus，它通过信息流控制（使用join和flows_to原语）和策略执行一体化，为AI编码代理提供强制权限控制，旨在防止未受信任输入与特权操作结合。项目使用Lean 4和Kani等形式化方法验证污点单调性、对抗完整性等关键属性，并扩展了SPIFFE工作负载身份到调用级别以实现更精细的溯源。该项目目前处于早期阶段。
这篇帖子回答的问题
- Nucleus项目如何为AI编码代理提供安全控制？
核心观点
- Nucleus是一个开源项目，通过信息流控制和策略执行一体化为AI编码代理提供强制权限控制，旨在防止未受信任输入与特权操作结合。
- 该项目使用形式化方法（Lean 4和Kani）验证关键安全属性，并扩展了SPIFFE工作负载身份到调用级别以实现更精细的溯源。
FAQ
- Q: Nucleus项目目前处于什么阶段？
- A: 根据帖子，该项目目前处于早期阶段，部分功能仍在开发中。
- Q: Nucleus项目使用什么技术来验证安全属性？
- A: 根据帖子，该项目使用形式化方法，具体提到了Lean 4和Kani，来验证关键属性，例如污点单调性、对抗完整性等。
关键实体
- Nucleus
- AI编码代理
- Lean 4
- Kani