tardygrada

updated this year

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.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/fabio-rovai/tardygrada
License: MIT
Last update: 2026-08-11
GitHub stars: ★ 26

agent-framework ai-agents ai-safety byzantine-fault-tolerance c coq cryptography ed25519 formal-verification hallucination-detection llm mcp

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.