Reverify

MIT claim-verify loop for agents — MCP + deterministic tools

AI Agents / Verification · OSS/MIT · 1.3k

Reviewed 2026-10-02 · last push 2026-10-01 · repo checked 2026-10-19

What's Good

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.

The Catch

★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.

Embed

Maintainer? Add the badge to your README. It is free, links to this review, and there is no paid version.

Markdown

[![Reviewed on Stack Gems](https://stackgems.com/badge/reverify.svg)](https://stackgems.com/gems/reverify)

HTML

<a href="https://stackgems.com/gems/reverify"><img src="https://stackgems.com/badge/reverify.svg" alt="Reverify reviewed on Stack Gems" height="20"></a>

AI Agents →

Related