2akouwu/reverify

何を解決するか

Reverifyは、逆アセンブリ（RE）におけるAIの幻覚問題に対処します。言語モデルにバイナリからアルゴリズムや構造を再構成させると、オフセット、サイズ、動作をしばしば虚構してしまうことがあります。Reverifyは、AIが生成したバイナリに関する仮説が、モデルの想像ではなく実際のバイナリバイトに基づいていることを保証します。

動作方法

本プロジェクトは、言語モデルと決定論的で純粋なPythonによる逆アセンブリツールキットを組み合わせます。AIは仮説（"claim"）を提示し、ツールキットがその仮説を実際のバイナリデータと照合して検証する役割を果たします。ツールキット（ディアセンブリ、パターンマッチング、CPUエミュレーションなどを担当）が仮説を確認した場合にのみ、その仮説は検証済みとして報告されます。

CLIツールとして使用可能であり、MCPサーバーとしても動作させることができ、Claude CodeやCursorなどのAIエージェントがこれらのツールを直接呼び出して自身の発見を検証できます。

対象ユーザー

セキュリティ研究者、マルウェア分析者、CTF参加者など、正確性を損なわず、幻覚データを信頼せずにAIを逆アセンブリに活用したい人々に最適です。

特徴

• 検証ループ: モデルが仮説を提示し、ツールが反復的に検証することで、発見がバイナリに基づくものになる閉ループシステム。
• 決定論的コア: 内蔵のPE/ELF/Mach-O解析、x86/x64/ARM/ARM64ディアセンブリ、CPUエミュレーションをサポート。
• エージェントネイティブ: AIエージェントとの直接統合を可能にするMCPサーバーとして提供。
• 柔軟なバックエンド: デフォルトでは純粋なPythonコアを使用しますが、Capstone、Unicorn、LIEFを用いてより成熟したエンジンサポートにアップグレード可能。