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.; mcp-for-beginners: This curriculum introduces the Model Context Protocol (MCP), an elegant solution for AI applications to communicate with various tools and services in a standardized way. It offers hands-on practice in multiple programming languages, guiding beginners from fundamental concepts to building and deploying their own MCP servers and clients.
Securing multi-agent systems where integrity of data passed between agents is critical
Building capable and flexible AI applications.