tardygrada
A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Det…
Live
Open / InstallLast updated October 14, 2026
Description
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. An open-source AI framework/SDK by fabio-rovai, hosted on GitHub.
Community Metrics
Views
23
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
fabio-rovai
Platform
api
Pricing model
free
Categories
- AI Frameworks
Tags
- agent-framework
- ai-agents
- ai-safety
- byzantine-fault-tolerance
- c
- coq
- cryptography
- ed25519
- github
Capabilities
- 23 stars
- C
Information
TypeFramework
SourceGitHub
AddedOctober 12, 2026