2akouwu/reverify
Reverify makes AI reverse-engineering claims pass through byte-level checks before they are reported.
The project pairs a model with deterministic Python tools for parsing, disassembly, pattern scans, emulation, and related binary work. Claims come back as verified, refuted, inconclusive, observed, or invalidated, with evidence from the actual file. Its README says a benchmark on 19 Windows system files found the model’s initial answers wrong every time, and Reverify caught them with zero false alarms. It ships as a CLI and MCP server, with optional Capstone, Unicorn, LIEF, and Z3 support. GitHub · LLM repos' note.
The project pairs a model with deterministic Python tools for parsing, disassembly, pattern scans, emulation, and related binary work. Claims come back as verified, refuted, inconclusive, observed, or invalidated, with evidence from the actual file. Its README says a benchmark on 19 Windows system files found the model’s initial answers wrong every time, and Reverify caught them with zero false alarms. It ships as a CLI and MCP server, with optional Capstone, Unicorn, LIEF, and Z3 support. GitHub · LLM repos' note.
score 5