Reverify

AI-assisted reverse-engineering toolkit whose findings are checked against the binary.

Desktopfree

Reverify is a free, open-source reverse-engineering toolkit that pairs an AI model with a deterministic, pure-Python analysis engine - disassembly, pattern scanning, CPU emulation, protobuf/TLV parsing - so that any claim the model makes about a binary is checked against the actual bytes before being reported as verified, refuted, or inconclusive. It ships as both a CLI and an MCP server for agents like Claude Code, and installs without requiring Ghidra. It's intended for authorized reverse engineering: malware analysis, CTF work, and interoperability research.

Website

Full match profile

Behind the summary, Matchbox keeps a richer profile of Reverify - the signals our matcher actually reads to decide when to surface it. It stays private; claim the listing to see and control it.

Problem & pain-point mapping
Who we surface it to (audience fit)
What it's a strong alternative to
Trust & credibility signals

Claim Reverify to unlock →

Something wrong with this listing — dead link, not a real product, wrong info?

Try Matchbox with your own problem

Describe what is not working - we’ll show you whether Reverify (or something else) actually fits.

Try a problem