IDA Pro MCP

⚠️ アーカイブ済み — 公式の Hex-Rays IDA MCP サーバーに置き換えられました

このプロジェクトはもはやメンテナンスされていません。 2026-09-27 に Hex-Rays SA は公式 IDA MCP サーバーと IDA Nexus をリリースしました。開発は同日、1.0.0a4 で停止しました。

現在の利用には、公式版をインストールしてください: uvx ida-hcli mcp install。これには idalib を備えた IDA 9.4+ が必要で、完全にヘッドレスで動作します。GUI プラグインは任意です。

このリポジトリは、そのテストスイート、ドキュメント、およびアーキテクチャの記録のために保持されています。完全な終了報告については ARCHIVE.md を参照してください: このプロジェクトが何であったか、なぜ敗れたのか、どの部分が足場にすぎなかったのか、そしてどの部分が今なお価値を持つのか。この README の残りの部分は、もはや利用を推奨されないシステムについて説明しています。

IDA Pro MCP — AI エージェントのための決定論的バイナリ解析

IDA Pro MCP は、IDA Pro 用のローカル Model Context Protocol サーバーです。これにより MCP クライアントは IDB を検査し、IDA に決定論的な解析結果を問い合わせ、明示的に許可された場合には注釈やその他の変更を IDB に書き戻すことができます。ホストプロセスは IDA の外部で動作し、デフォルトではセッションごとに別個の IDA ヘッドレスプロセスを起動します。

この実装を選ぶ理由

決定論的なエージェント向けサーフェス: 102 個の厳格なスキーマを持つ ida_* 操作を、 tools/list と ida_help によるライブディスカバリで提供します。
ローカルファーストのアーキテクチャ: ホストと IDA ランタイムはトークンで保護されたループバックブリッジを介して通信します。解析経路に隠れた LLM サービスは存在しません。
チャットだけでなく証拠: 永続的なファインディングは、出所、信頼度、ライフサイクル状態、競合、および監査履歴を IDB の外部に保持します。
ガードされた変更: IDB を変更する操作は、明示的なポリシーとリスク承認の制御の背後に留まります。
幅広いクライアントサポート: インストーラーは 22 以上のエージェント環境と、それらの JSON、JSON5、TOML、YAML の設定形式を理解します。

現在のバージョンは 1.0.0a4 です。これはアルファ版ソフトウェアです。公開されている ida_* 操作名、スキーマ、およびワークスペース形式は、安定版 1.0.0 リリースの前に変更される可能性があります。デフォルトのクライアントサーフェスには、102 個の厳密なスキーマの操作が含まれています。完全な契約についてはライブディスカバリを使用してください: tools/list はすべての操作をそのスキーマとともに列挙し、ida_help(topic="...") は 1 つの操作の正確な引数と例を返します。

インストールの前に

必要なもの:

IDA Pro または IDA Home 9.2 以降で、使用可能な idat/idat64 実行ファイルを備えたもの。リポジトリのライブテストの証拠は IDA 9.3 と 9.4 をカバーしています。9.2 が宣言された互換性の下限です。
ホストとインストーラー用の Python 3.11 以降。
検査予定のバイナリ上で IDA を実行する権限、および管理された Python 環境、セッションファイル、 IDB コピーのための十分なディスク容量。
ローカルの stdio サーバーをサポートする MCP クライアント。たとえば Claude Code、 Codex、OpenCode、Claude Desktop、Cursor、VS Code/Copilot、Windsurf、Cline、 Roo Code、Gemini CLI、Antigravity など。
通常の解析にはインテリジェンスプロバイダーは不要です。明示的なインテリジェンスモードは jev、custom、disabled です。disabled モードでは決定論的な字句検索が利用可能なまま維持され、ローカル、Gemini、ネイティブモデルのフォールバックはありません。

デフォルトのランタイムは idat です: セッションごとに 1 つのヘッドレス IDA プロセスです。 idalib バックエンドは実験的であり、idapro パッケージが有効化された IDA 9.3 以降のインストールが必要で、初回インストールには不要です。

ソースチェックアウトからのインストール

インストーラーはインストールルートの下に管理された環境を作成し、チェックアウトの凍結されたコピーをそこにインストールし、サポートされているクライアントの場所にクライアント設定を書き込みます。リポジトリのルートから、次を実行してください:

python3 install.py

既知の IDA インストール環境の場合は、明示的に指定します:

python3 install.py --ida-dir /path/to/ida-pro-9.3

非対話実行の場合:

python3 install.py --yes --no-ida-prompt --ida-dir /path/to/ida-pro-9.3

インストーラーは IDADIR、IDA_DIR、PATH 上の IDA 実行ファイル、および一般的なインストールディレクトリからも IDA を見つけることができます。--ida-version は複数のインストールが存在する場合にバージョンを選択します。まず --dry-run を使用して、計画されている変更を確認してください。

インストーラーはプロバイダーのモデルやランタイムをダウンロードすることはありません。組み込みのクライアントマップにあるすべてのクライアントの場所に対して設定ファイルを作成または更新する場合があり、これにはお使いのマシンにインストールされていないクライアントも含まれます。インストールルートにある install-report.json を確認し、必要に応じて未使用のエントリを削除してください。既存の通常の設定ファイルは変更前にバックアップされます。不正な形式、シンボリックリンク、または通常ファイルでないファイルは上書きされずに拒否されます。

インストール後は MCP クライアントを再起動して、設定を再読み込みさせてください。

エージェントハーネスはツールサーフェスをライブで検出します。tools/list はすべての操作をそのスキーマとともに列挙し、ida_help(topic="...") は正確な引数と例を返します。静的なスキルファイルはインストールされません。

デフォルトのインストールルートは次のとおりです:

Linux および macOS: ~/.local/share/ida-pro-mcp
Windows: %LOCALAPPDATA%/ida-pro-mcp

別の場所を選択するには、IDA_PRO_MCP_HOME を設定するか、--install-root を渡してください。

リリース成果物からのインストール

アルファリリースは GitHub Actions によってビルドされ、プレリリースとして手動で公開されます。リリースが利用可能な場合は、リリースページから bundle.zip または bundle.tar.gz アセットとその SHA256SUMS ファイルをダウンロードしてください。チェックサムを検証し、バンドルを展開して、そのトップレベルディレクトリからインストーラーを実行します:

python3 install.py --yes --no-ida-prompt --ida-dir /path/to/ida-pro-9.3

リリースには、スクリプトによるPythonインストール用のwheelとソースディストリビューションも含まれています。バンドルはインストーラーとMCPクライアントを設定するために必要なすべてのプロジェクトファイルが含まれているため、最も簡単な方法です。リリースはアルファ品質です。元のバイナリとIDBを保持し、アップグレード前にリリースノートを読んでください。

MCPクライアントの接続

インストーラーは、認識しているクライアント設定パスにサーバーエントリを書き込みます。Gemini CLI、Antigravity、Antigravity IDE、Antigravity CLI、Claude Code、Codex、Copilot CLI、OpenCode、Claude Desktop、Cursor、VS Code、Windsurf、Cline、Roo Codeをサポートしています。 OpenCodeとCopilotファミリーのクライアントは異なる設定形式を使用します。インストーラーにこれらのファイルを書き込ませるか、OpenCodeセットアップガイドに従ってください。

一般的なJSON形式を使用するクライアントの場合、エントリは次と同等です:

{
  "mcpServers": {
    "ida-pro-mcp": {
      "command": "/path/to/ida-pro-mcp/.venv/bin/python",
      "args": ["-u", "-m", "ida_pro_mcp.host.server"],
      "env": {
        "IDA_PRO_MCP_HOME": "/path/to/ida-pro-mcp",
        "IDADIR": "/path/to/ida-pro-9.3",
        "IDA_MCP_TOOL_SURFACE": "agent"
      }
    }
  }
}

Windows では、<install-root>/.venv/Scripts/python.exe にある管理対象インタープリタを使用してください。重要な詳細は、管理対象インタープリタ、-u -m ida_pro_mcp.host.server、選択された IDA ディレクトリ、および IDA_MCP_TOOL_SURFACE=agent です。クライアントを install.py に向けないでください。このファイルはインストーラーであり、MCP サーバーではありません。

クライアント設定を変更した後は、クライアントを完全に再起動し、利用可能な操作に ida_help が表示されることを確認してください。クライアントに従来の広範な tool(action=...) インターフェースのみが表示される場合は、環境が IDA_MCP_TOOL_SURFACE=legacy ではなくデフォルトの agent サーフェスを選択していることを確認してください。

最初の有用なセッション

まずテストバイナリへの絶対パスを使用してください。バイナリを開くと通常、IDA の初期解析が完了するまで待機します。大きなバイナリでは時間がかかることがあります。

ida_open_binary(binary_path="/absolute/path/to/sample")
ida_session_status()
ida_overview()
ida_list_imports(limit=30)
ida_list_strings(query="http", limit=30)
ida_find(query="main", limit=20)
ida_decompile(address="<address returned by IDA>")
ida_xrefs_to(address="<same address>")

正確な引数のスキーマが必要なときは、常に ida_help(topic="ida_decompile") を使用してください。公開されている操作のスキーマは厳格です。未知の引数は拒否されます。アドレスは、個々の操作の契約に従って整数または文字列として受け付けられる場合があります。クライアントでその操作について ida_help に表示される形式を使用してください。

小規模な調査記録の場合、ワークスペースの findings 操作は次のとおりです:

ida_write_finding(title="Input reaches parser", address="<address returned by IDA>", kind="finding", status="confirmed", confidence=0.8, evidence=[{"type":"call", "value":"recv", "address":"<evidence address>"}])
ida_analysis_brief()
ida_next_target()
ida_export_findings(format="markdown")

ワークスペースの検出結果は IDB の編集とは別に保持されます。アクティブなポリシーがワークスペースへの書き込みを許可している場合、ida_write_finding は検出結果をローカルに記録します。そうでない場合、サーバーはポリシーエラーを返します。ida_publish_findings(dry_run=true) は IDB の変更をプレビューします。公開、名前変更、パッチ適用、その他の IDB の変更はポリシーによって制御され、操作が確認応答を公開している場合は、その操作の文書化された確認応答が必要です。

操作の概要

フロントページはタスク指向のままですが、このコンパクトな索引によって公開サーフェスを簡単にスキャンできます。以下の各名前は、呼び出し時に ida_ がプレフィックスとして付きます。完全なスキーマと例は、tools/list および ida_help(topic="...") を通じてライブで利用できます。

ida-pro-mcp

人気