reverify

Reverify is an AI-assisted reverse engineering toolkit designed to provide reliable analysis by validating hypotheses against binary data. Its notable features include a deterministic core for binary parsing and disassembly, grounded verification of claims through tools, and compatibility with AI agents via a Model Context Protocol (MCP) server. The tool is intended for authorized use cases such as malware analysis, CTF, and interoperability research.