01Cryptographically verified agent outputs (ed25519, SHA-256)
024 GitHub stars
03`tardy terraform` utility to convert existing AI agent frameworks to Tardygrada's verifiable structure
04Compact, zero-dependency C11 implementation with a 212KB binary
05Advanced hallucination prevention via ontology grounding and 8-layer verification pipeline
06Coq-proven Byzantine Fault Tolerance (BFT) consensus for agent coordination