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.
This tool helps you check if agents or systems are being truthful and thorough in their work. It takes in text documents or agent outputs and tells you if an agent was lazy, if there are contradictions in a document, or if data has been tampered with. It's for anyone managing automated workflows or reviewing critical documents who needs to ensure accuracy and integrity.
Use this if you need to ensure the claims made by automated agents or within complex documents are accurate, consistent, and untampered.
Not ideal if your primary concern is catching individual factual errors rather than logical contradictions or agent laziness.
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
modelcontextprotocol/typescript-sdk
The official TypeScript SDK for Model Context Protocol servers and clients
modelcontextprotocol/python-sdk
The official Python SDK for Model Context Protocol servers and clients
vmoranv/jshookmcp
js hook toolkit that all you need
alpic-ai/skybridge
Skybridge is a framework for building ChatGPT & MCP Apps
modelcontextprotocol/csharp-sdk
The official C# SDK for Model Context Protocol servers and clients. Maintained in collaboration...