Skip to content

2akouwu/reverify

  • URL: https://github.com/2akouwu/reverify
  • Stars: 1001
  • Language: Python
  • Category: Security
  • Topics: ai, ai-agents, ai-coding, anti-hallucination, binary-analysis, context-engineering, ctf, developer-tools, disassembler, grounding, hallucination, hallucination-detection, llm, malware-analysis, mcp, mcp-server, python, reverse-engineering, security-tools, verification

What it does

Reverify is a Python-based tool designed to verify claims made by AI models in the context of reverse engineering binaries. It ensures that any structural or behavioral claims made by the AI are checked against actual binary artifacts, providing a grounded verification process that prevents hallucinations.

Why it's interesting

Reverify stands out by integrating a deterministic verification process directly into the workflow of AI-assisted reverse engineering. Unlike traditional methods that may rely solely on the AI's output, Reverify uses a combination of pure-Python tools and optional mature engines to validate claims, making it particularly effective in scenarios where AI hallucinations are prevalent, such as binary analysis.

How it works

Reverify operates by having the AI propose claims about a binary, which are then verified using a deterministic toolkit that includes features like disassembly, pattern scanning, and CPU emulation. The tool can be run as a CLI or as an MCP server, allowing integration with various AI agents. Claims are categorized and verified, returning results that indicate whether they are verified, refuted, or inconclusive. The system also maintains a ledger of verified claims that survives context resets, ensuring continuity in long tasks. However, the README does not specify the exact architecture or dependencies beyond the mentioned tools and libraries, leaving some uncertainty about the full integration process.

Get started in 5 minutes

To quickly start using Reverify, install it via pip with the command pip install reverify, or for the full feature set, use pip install "reverify[full]". Then, run a verification command like reverify auto sample.bin --json to check a binary file.

Watch out for

Reverify is relatively new, having been created in August 2026, which may imply that it is still maturing. Users should be cautious of potential gaps in documentation or features as the project evolves. Additionally, it is intended for authorized reverse engineering, so ensure compliance with legal and ethical guidelines when using it.