fabio-rovai/tardygrada
A programming language where every agent output is cryptographically verified. 194KB binary. Zero dependencies. Pure C11. Coq-proven BFT. tardy terraform replaces LangChain/CrewAI/AutoGen in ~15 lines.
27
/ 100
Experimental
No Package
No Dependents
Maintenance
13 / 25
Adoption
5 / 25
Maturity
9 / 25
Community
0 / 25
Stars
11
Forks
—
Language
C
License
MIT
Last pushed
Apr 04, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/mcp/fabio-rovai/tardygrada"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
vmoranv/jshookmcp
js hook toolkit that all you need
68
harness/mcp-server
This is the official repo for the Harness MCP server
64
qase-tms/qase-mcp-server
An official Qase MCP server
60
vasylenko/bear-notes-mcp
MCP Server for Bear note taking app available as Claude Desktop extension or standalone server...
60
ignfab/geocontext
[DEV] An experimental MCP server providing spatial context for LLM.
58