reverify

reverify plugs into Claude Code, Cursor, or any MCP client and hands your agent a reverse-engineering toolkit that fact-checks itself. Ask an AI to read a binary and it invents offsets, structs, and behavior with total confidence. reverify makes the model propose and the bytes decide: every claim comes back VERIFIED, REFUTED, or INCONCLUSIVE with the evidence it actually read.

The core is pure Python, so PE/ELF/Mach-O parsing, disassembly, pattern scanning, and CPU emulation install with no Ghidra. Add the full extra and it upgrades itself in place to capstone, unicorn, lief, and Z3. It is free and MIT, and setup is a pip install plus an MCP entry.

If you do malware analysis, CTF, or interop research and you have been burned by an AI confidently hallucinating a struct layout, this is worth wiring in. The catch: it grounds claims, it does not do the reversing for you. It is a lie detector, not an analyst.