AI逆向工程谎言检测器：用字节验真伪
Reverify 是一个针对 AI 逆向工程结果的自动化验证工具，将 LLM 对二进制文件的每个声明与真实字节逐一比对，过滤幻觉。在 19 个真实 Windows 系统文件测试中，AI 的教科书式答案错误率达 100%，而 Reverify 零误报全部捕获。
AI makes things up when it reads a binary. Reverify checks its every claim against the real bytes, so you see what's actually true — AI-assisted reverse engineering you can trust. LLM proposes, deterministic tools verify. MCP server + CLI.
做二进制安全或逆向的团队早就知道 LLM 在 IDA Pro 输出上胡说八道，但之前只能靠资深工程师肉眼逐行核对，成本极高。Reverify 的聪明之处在于不试图让 AI 变准，而是把 AI 的每个断言变成可执行的验证命题，用符号执行或模式匹配快速证伪。
这跟传统反汇编工具如 Ghidra 的 decompiler 验证不同，后者是确定性的规则引擎，而 Reverify 针对的是自然语言描述的模糊声明。如果你在做漏洞挖掘、恶意软件分析或游戏安全，且已经在用 Claude 或 GPT-4 辅助读汇编，这个工具能帮你把 AI 的"灵感"变成可信的"证据链"。
短期内建议关注它的验证覆盖度——目前看主要针对结构体和偏移量，对控制流还原的验证能力还不明确，这是下一步能否从 toy 变成生产工具的关键。
AI辅助逆向工程领域首个LLM声明自动化验证工具，填补安全分析可信性空白。
独特价值：确定性验证对抗LLM幻觉，将MCP协议引入二进制安全分析工作流。