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.; initrunner: InitRunner lets you define an agent in one YAML file, chat with it, run it autonomously, and deploy it as a daemon triggered by cron, file changes, webhooks, or Telegram messages. It supports multiple execution modes, built-in memory, cost controls, multi-agent orchestration, and security features. Built on PydanticAI.
Securing multi-agent systems where integrity of data passed between agents is critical
Automated code review: set up a daemon that reviews pull requests or file changes.