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.; awesome-claude: HeyClaude is a curated, file-backed, human-reviewed directory for Claude agents, MCP servers, skills, hooks, commands, tools, prompts, rules, guides, templates, and statuslines. It serves as both an awesome-list catalog and a machine-readable registry for builders, with 388+ entries across 10 sections. The registry can be accessed via website, API, MCP server, Raycast extension, RSS feeds, and LLM export.
Securing multi-agent systems where integrity of data passed between agents is critical
Discover and integrate Claude agents, MCP servers, and tools for development workflows