tardygrada:Tardygrada是一种编程语言,编译为MCP服务器,每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识(Coq证明)保证完整性,通过签名保证来源,并记录完整审计追踪。但它不保证真实性,只确保值未被篡改,即使在代理间100次交接后也能提供100%的证明。;git-mcp:GitMCP是一个免费、开源的模型上下文协议(MCP)服务器,可将任何GitHub项目转换为动态文档中心。它使AI助手能够直接访问最新的代码和文档,显著减少幻觉并提高代码的正确性。
保护多代理系统中代理间传递数据的完整性
为AI助手提供来自特定GitHub仓库的最新文档和代码。