Browse
→ Code & Dev
→ Reverify
Reverify
Anti-hallucination reverse-engineering toolkit for agents that read binaries. It pairs an LLM with deterministic PE, ELF, Mach-O, disassembly, emulation, pattern scanning, and claim-ledger tools so binary-analysis claims are marked VERIFIED, REFUTED, or INCONCLUSIVE against the actual bytes instead of model guesses. Ships as both a CLI and stdio MCP server. Public GitHub repository created August 31, 2026.
MCP unverified
Integration
| Transport | stdio |
| Auth | none |
| Endpoint | python reverify/mcp_server.py |
| Install | pip install reverify |
Use Cases
| 01 | Ground AI reverse-engineering claims against real binary bytes before reporting them as facts |
| 02 | Parse, disassemble, scan, emulate, and inspect PE, ELF, and Mach-O files from MCP-compatible coding agents |
| 03 | Persist verified binary-analysis facts in a compact ledger that survives context resets |
Tags
reverse-engineering binary-analysis anti-hallucination verification disassembly emulation malware-analysis python
Machine-readable: /api/servers.json
· JSON-LD schema embedded in <head>