2akouwu/reverify

解决的问题

Reverify 解决了逆向工程（RE）中的 AI 幻觉问题。当语言模型被要求从二进制文件中重构算法或结构时，它们常常会虚构出偏移量、大小和行为。Reverify 确保 AI 对二进制文件生成的假设基于实际字节，而非模型的想象。

工作原理

该项目将语言模型与一个确定性、纯 Python 实现的逆向工程工具链配对。AI 提出一个假设（“声明”），工具链则充当裁判，将该声明与实际二进制数据进行比对。只有当工具链（负责反汇编、模式匹配或 CPU 模拟）确认该声明时，才会报告为已验证。

它可作为 CLI 工具使用，也可作为 MCP 服务器运行，允许 Claude Code 或 Cursor 等 AI 代理直接调用这些工具来验证自身的发现。

适用人群

需要使用 AI 辅助逆向工程，但又不希望牺牲准确性或信任虚构数据的安全研究人员、恶意软件分析师和 CTF 参与者。

主要亮点

• 验证循环：闭环系统，模型提出声明，工具迭代验证，直到发现基于实际二进制文件。
• 确定性核心：内置对 PE/ELF/Mach-O 解析、x86/x64/ARM/ARM64 反汇编和 CPU 模拟的支持。
• 代理原生：以 MCP 服务器形式提供，可直接集成到 AI 代理中。
• 灵活后端：默认使用纯 Python 核心，但可升级为使用 Capstone、Unicorn 和 LIEF 以获得更成熟的引擎支持。