tardygrada
A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Deterministic checks, explainable verdicts, no LLM judging an LLM. Pure C, zero dependencies, MCP-native.
- agent-framework
- ai-agents
- ai-safety
- byzantine-fault-tolerance
- c
- coq
- cryptography
- ed25519
- formal-verification
- hallucination-detection
- llm
- mcp
- mcp-server
- ontology
- programming-language
- Stars
- 26
- Forks
- 3
- + today
- +1
- Created
- 7mo
Ranking data as of November 2, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Deterministic checks, explainable verdicts, no LLM judging an LLM. Pure C, zero dependencies, MCP-native. It ranks #1676 on GitTiger, gaining +1 star on November 2, 2026 (UTC).
The project is written in C and has 3 forks. It was created 7mo ago.
Installation
git clone https://github.com/fabio-rovai/tardygrada.git
cd tardygrada
# see README for setup