tardygrada:Tardygrada是一种编程语言,编译为MCP服务器,每个值都带有创建者、创建时间和完整性的密码学证明。它通过mprotect、SHA-256、ed25519和BFT共识(Coq证明)保证完整性,通过签名保证来源,并记录完整审计追踪。但它不保证真实性,只确保值未被篡改,即使在代理间100次交接后也能提供100%的证明。;FastMCP:FastMCP 是一个 Python 框架,旨在简化遵循模型上下文协议(MCP)的应用程序的构建,使 AI 代理能够与工具和数据无缝连接。它简化了复杂的协议实现,专注于在正确的时间向代理提供正确的信息。
保护多代理系统中代理间传递数据的完整性
开发用于 AI 代理集成的强大且标准化的 MCP 服务器。