■ 概要 Ghidra と LLM を組み合わせてバイナリから C/C++ 関数を自動逆算・検証する AI エージェント ■ 特徴・用途 - **逆算戦略**: 複数 LLM（reverser/checker）が証拠収集→候補生成→ビルド検証→構造/パリティ検証の段階的フローで精度を確保 - **実用性**: セットアップから実行まで AI エージェントに委譲でき、小さな関数から段階的に検証可能。API コスト上限設定で実験的な導入が容易 - **モデル柔軟性**: Claude/Codex/OpenAI互換 API をサポート、ローカル or クラウド選択可 ■ 結論 難度の高い逆算業務を構造化フローで自動化する点で差別化あり；初期段階なら小スコープで ROI 検証する価値あり