tardygrada
★ 23
vs
martin-loop
★ 398
tardygrada vs martin-loop
tardygrada：Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。；martin-loop：MartinLoop 是一个为 AI 编码循环提供治理层的工具，它强制执行预算上限、验证门、回滚证据和审计跟踪。通过在执行前阻止不安全或不经济的工作，它防止了无限制的重试，为自主编码代理提供了可见性和问责制。
01
简评
tardygradaSecurity & Safety · ★ 23
保护多代理系统中代理间传递数据的完整性
martin-loopSecurity & Safety · ★ 398
通过预算和安全约束限制 AI 代理的重试循环
02
并排对比
字段
tardygradamartin-loop分类
安全与合规
安全与合规
Stars
★ 23
★ 398
许可证
MIT
Apache-2.0
安装方式
git clone https://github.com/fabio-rovai/tardygrada && cd tardygrada && make
npm install -g martin-loop
更新时间
2个月前
1天前
开源
是
是
标签
agent-framework, AI 智能体, ai-safety
agent-runtime, ai-agent-runtime, ai-coding-agents
03
功能特性
tardygrada01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
martin-loop01预算治理，对美元、迭代次数和令牌设有硬上限
02验证门，仅在验证通过后才允许执行
03故障分类，涵盖 11 种故障类别
04安全绳，在执行前评估命令、文件范围和秘密
05回滚证据，捕获每次尝试前后的状态
04
使用场景
tardygrada↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
martin-loop↳通过预算和安全约束限制 AI 代理的重试循环
↳使用结构化的 JSONL 记录审计 AI 编码运行
↳为自主编码代理执行策略即代码
FAQ
常见问题
tardygrada 和 martin-loop 有什么区别？
tardygrada 和 martin-loop 都属于 Security & Safety 类别。tardygrada 有 23 Stars，martin-loop 有 398 Stars。
tardygrada 和 martin-loop 哪个更好？
最佳选择取决于你的具体需求。保护多代理系统中代理间传递数据的完整性 时选 tardygrada，通过预算和安全约束限制 AI 代理的重试循环 时选 martin-loop。
tardygrada 是免费的吗？
是的，tardygrada 在 GitHub 开源（MIT）。
martin-loop 是免费的吗？
是的，martin-loop 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→