tardygrada
活跃·★ 23·MIT·更新于 2026-08-11
Tardygrada是一种编程语言，编译为MCP服务器，每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识（Coq证明）保证完整性，通过签名保证来源，并记录完整审计追踪。但它不保证真实性，只确保值未被篡改，即使在代理间100次交接后也能提供100%的证明。
#agent-framework#AI 智能体#ai-safety#byzantine-fault-tolerance#c#coq#cryptography#ed25519
01
功能特性
01通过操作系统内核（mprotect）和密码学（SHA-256, ed25519）保证完整性
02通过签名元数据追踪来源（谁、何时）
03每个操作的完整审计日志
04多种不可变级别（let, @verified, @hardened, @sovereign）
05编译为MCP服务器，与代理框架集成
02
兼容性
Linux
Linux（原生）
已通过文档验证
03
快速开始
1
$ git clone https://github.com/fabio-rovai/tardygrada
2
$ cd tardygrada
3
$ make
04
使用场景
↳保护多代理系统中代理间传递数据的完整性
↳需要防篡改证据的高置信度领域，如医疗诊断
↳为现有代理框架（CrewAI、LlamaIndex、MiroFish）添加完整性证明
05
同类工具
评论
登录后发表评论
暂无评论，来发表第一条吧