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 以獲得更成熟的引擎支援。