cordum
★ 511
vs
tardygrada
★ 23
cordum vs tardygrada
cordum：Cordum 是一个代理控制平面，为概率性AI提供确定性治理层，允许跨任何框架或模型定义、执行和审计自主AI代理的行为。；tardygrada：Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。
01
简评
cordumSecurity & Safety · ★ 511
企业AI代理治理
tardygradaSecurity & Safety · ★ 23
保护多代理系统中代理间传递数据的完整性
02
并排对比
字段
cordumtardygrada分类
安全与合规
安全与合规
Stars
★ 511
★ 23
许可证
NOASSERTION
MIT
安装方式
git clone https://github.com/cordum-io/cordum.git && cd cordum && ./tools/scripts/quickstart.sh
git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
更新时间
2天前
2个月前
开源
是
是
标签
agent-framework, 代理式 AI, AI 智能体
agent-framework, AI 智能体, ai-safety
03
功能特性
cordum01安全门控
02输出隔离
03人在回路
04池分段
05确定性审计
tardygrada01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
04
使用场景
cordum↳企业AI代理治理
↳自主代理安全监控
↳合规审计与审计追踪
tardygrada↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
FAQ
常见问题
cordum 和 tardygrada 有什么区别？
cordum 和 tardygrada 都属于 Security & Safety 类别。cordum 有 511 Stars，tardygrada 有 23 Stars。
cordum 和 tardygrada 哪个更好？
最佳选择取决于你的具体需求。企业AI代理治理 时选 cordum，保护多代理系统中代理间传递数据的完整性 时选 tardygrada。
cordum 是免费的吗？
是的，cordum 在 GitHub 开源（NOASSERTION）。
tardygrada 是免费的吗？
是的，tardygrada 在 GitHub 开源（MIT）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→