{"data":{"slug":"reverify","name":"Reverify","tagline":"MIT claim-verify loop for agents — MCP + deterministic tools","category":"agents","categoryName":"AI Agents","url":"https://github.com/2akouwu/reverify","github":"https://github.com/2akouwu/reverify","pricing":"open-source","hook":"Reverify stops agents from asserting facts unchecked — the model proposes a claim, deterministic tools check ground truth, and only VERIFIED/REFUTED evidence becomes fact (CLI + MCP).","whatsGood":"MIT (2akouwu/reverify). PyPI `reverify` (HTTP 200). `reverify verify` and an MCP server for Claude Code / Codex / Gemini CLI / OpenCode; `reverify rollover` hands long sessions to a file instead of lossy auto-summary. Strongest demos in binary/RE hallucination, but the claim→tool→evidence loop is the product.","theCatch":"★1254 in about 5 weeks (~251 a week): judge it on the verify fidelity, not the star count. Vs unlazy / promptfoo / ragas: unlazy is a completion-discipline skill (and uses “reverify” as a verb — different project); Promptfoo/Ragas are eval suites — Reverify’s catch is runtime claim verification against artifacts via tools/MCP. Coverage is only as good as the checkers you wire; pin PyPI and which harness MCP config you ship.","verdict":"MIT claim-verify MCP/CLI when agents invent APIs and offsets — not unlazy’s Depth Tree skill and not Promptfoo/Ragas eval lanes; treat the star spike with caution.","addedAt":"2026-10-02","featured":false,"domain":"AI Agents","subSpecialty":"Verification","subcategory":"Verification","tags":["mcp","cli","self-host","permissive","active","young-repo"],"capabilities":["mcp","verification","cli"],"surfaces":["MCP","CLI","Self-host"],"ecosystem":["Python","Multi-platform"],"licenseModel":"OSS/MIT","githubStars":1305,"starsPerWeek":184,"access":"free","archived":false,"repo":{"createdAt":"2026-08-31","pushedAt":"2026-10-01","license":"MIT","archived":false,"checkedAt":"2026-10-19"}},"related":[{"slug":"claude-code","name":"Claude Code","tagline":"Terminal-first coding agent with deep repository context"},{"slug":"cursor","name":"Cursor","tagline":"The AI-first code editor that understands your codebase"},{"slug":"devin","name":"Devin","tagline":"Autonomous AI engineer for defined engineering tasks"},{"slug":"stagehand","name":"Stagehand","tagline":"AI-native browser automation that mixes code and natural language"},{"slug":"browser-use","name":"Browser Use","tagline":"Open-source framework for LLM-driven browser agents"}],"links":{"self":"/api/gems/reverify","html":"/gems/reverify","markdown":"/gems/reverify.md","category":"/api/gems?category=agents","categoryPage":"/stacks/agents"}}