tardygrada: Tardygrada is a programming language that compiles to MCP servers, where every value carries cryptographic proof of its creator, creation time, and integrity. It guarantees integrity via mprotect, SHA-256, ed25519, and BFT consensus (proven in Coq), provenance with signed metadata, and a full audit trail. However, it does not guarantee truth; it only ensures the value has not been changed, providing 100% proof even after 100 handoffs among agents.; fastapi_mcp: FastAPI-MCP allows you to expose your existing FastAPI endpoints as Model Context Protocol (MCP) tools. It offers native integration with FastAPI, including built-in authentication using existing dependencies, and preserves schemas and documentation.
Securing multi-agent systems where integrity of data passed between agents is critical
Integrating FastAPI services as tools for large language models (LLMs) that support MCP.