reverify
reverify is an open-source CLI and MCP server that checks AI claims about binaries and source code with deterministic tools, for reverse engineers and AI agent users.
No visits from OpenBeat in the last 30 days yet. Every click on “Visit” is counted here.
Pricing and API checked by an OpenBeat editor on Nov 12, 2026 · facts from the maker’s own site ·
Tool insights
reverify takes a claim an AI agent makes about a binary and tests it with deterministic analysis. It returns VERIFIED or REFUTED with evidence, so you do not have to trust the model's word.
AI coding agents can state wrong things about disassembly, functions or code behavior with full confidence. reverify gives those claims a check against the actual binary, and keeps confirmed facts so they survive context resets.
Reverse engineers, security analysts and developers who use AI coding agents on binary analysis work. It is a poor fit if you want a hosted service or a general-purpose code review tool, and it is meant for authorized reverse engineering only.
What it does
reverify is a verification layer for AI-assisted reverse engineering. An agent proposes a claim about a binary, such as what a function does or which calls it makes. reverify checks that claim with deterministic tools and returns a verdict: VERIFIED or REFUTED, with supporting evidence.
It runs as a command-line tool and as an MCP server, so agents can call it directly. The maker is 2akouwu, and the project is hosted on GitHub.
Key features
- Claim verification against the binary. Each verdict comes with evidence.
- Pure-Python core. The capstone, unicorn, lief and angr backends are optional.
- Equivalence check. The
reverify equivcommand compares a candidate implementation with a reference implementation. - Ledger of grounded facts. Verified facts are kept per binary and persist across context resets.
- Context rollover hooks. Hooks exist for Claude Code, Codex CLI, Gemini CLI and OpenCode.
- MCP server. It exposes the verification and ledger tools to agents.
- Verdict receipts. Each receipt records the binary SHA-256 and the engine versions used.
The changelog shows a semantic layer for functions, calls and references claims (release 0.9.0), and benchmark records with a verifier confusion matrix and SLSA attestation (release 0.10.0). Release 0.11.0 added the rollover support. These are version details as listed in the changelog.
Pricing
reverify is open source under the MIT license. As of November 2026, no paid plans, price or hosted tier are stated on the maker's site. Whether a free plan exists in the sense of a hosted offering is not stated.
API and integrations
No public web API or SDKs are stated. You use it through the CLI or the MCP server. It runs on Linux, macOS and Windows.
Listed integrations are Claude Code, Codex CLI, Gemini CLI, OpenCode and Cursor. On the analysis side it can use angr, capstone, unicorn, lief and Z3.
Good to know
- Semantic verdicts need the optional angr engine. Without it, the pure fallback returns INCONCLUSIVE.
- Running native code for exebench and equiv is off by default. You must opt in by setting
REVERIFY_ALLOW_NATIVE_EXEC=1. - The README says the tool is intended for authorized reverse engineering only.
- Founding date, supported models and a pricing page are not stated on the maker's site.
- Docs and the changelog are on GitHub.
FAQ
Is reverify free and open source?
Yes. reverify is open source under the MIT license. As of November 2026, the maker's site states no paid plans or prices.
What does reverify return when it checks a claim?
It returns VERIFIED or REFUTED together with evidence. With only the pure-Python fallback and without the optional angr engine, semantic claims return INCONCLUSIVE.
Which AI coding agents work with reverify?
It lists integrations with Claude Code, Codex CLI, Gemini CLI, OpenCode and Cursor. Context rollover hooks exist for the first four, and the MCP server exposes the verification tools.
Does reverify run native code on my machine?
Only if you allow it. Native execution for exebench and equiv is opt-in through the environment variable REVERIFY_ALLOW_NATIVE_EXEC=1.
Which operating systems does reverify support?
The listed platforms are Linux, macOS and Windows. You can use it as a CLI or as an MCP server.
Releases
No tracked releases yet.
In the news
No coverage yet.