Binaryninja MCP

🚀 Another™ MCP サーバー for Binary Ninja

Another™ MCP Serverは、Binary Ninja用のプラグインで、解析対象の各バイナリファイルに強力なWebサーバーを提供します。このサーバーは、シンボルのリネーム、擬似コードと中間表現（IR）の生成、文字列の抽出、セグメントとセクションの検索など、様々な機能をサポートしています。

プロジェクトURL： https://github.com/MCPPhalanx/binaryninja-mcp

🎥 デモ

🚀 クイックスタート

Another™ MCP Serverは、Binary Ninja用のプラグインで、解析対象の各バイナリファイルに強力なWebサーバーを提供します。このサーバーは、シンボルのリネーム、擬似コードと中間表現（IR）の生成、文字列の抽出、セグメントとセクションの検索など、様々な機能をサポートしています。

✨ 主な機能

利用可能なツール

• シンボルのリネーム：

  import binaryninja as bn
  
  # 例：関数を "main" にリネームする
  func = bn.current_function()
  func.name = "main"
  

• 擬似コードとIRの生成：

  # 現在の関数の擬似コードを取得する
  pseudo_code = bn.current_function().get_pseudo_code()
  
  # 中間表現（LLVM IR）を取得する
  ir = bn.current_function().get_llil()
  

リソース

MCPサーバーは、各バイナリファイルに対して以下のリソースタイプを提供します：

• triage_summary： Binary Ninja解析ビューの基本情報
• imports： インポートされたシンボル/関数の辞書
• exports： エクスポートされたシンボル/関数の辞書
• segments： メモリセグメントのリスト
• sections： バイナリセクションのリスト
• strings： バイナリから抽出された文字列のリスト
• functions： 関数のリスト
• data_variables： データ変数のリスト

📦 インストール

サーバーの設定

1. リポジトリをBinary Ninjaのプラグインディレクトリにクローンする：

   git clone https://github.com/MCPPhalanx/binaryninja-mcp.git "${env:APPDATA}\Binary Ninja\plugins\MCPPhalanx_binaryninja_mcp"
   

2. Python環境をインストールする： uv ツールを使用してPython環境を管理します：

   uv venv
   uv sync --dev
   binaryninja-mcp install-api
   

3. サーバーを起動する： プラグインディレクトリで、以下のコマンドを使用してサーバーを起動します：

   uv run python -m binaryninja_mcp.server
   

クライアントの設定

1. MCPクライアント（例：Claude Desktop）の config.json ファイルを設定する：

   {
     "mcpServers": {
       "binaryninja": {
         "command": "uv",
         "args": [
           "--directory",
           "C:/path/to/binaryninja-mcp",
           "run",
           "binaryninja-mcp",
           "client"
         ]
       }
     }
   }
   

2. SSEクライアントを接続する： 以下のURLを使用してSSE（サーバー送信イベント）サービスに接続します：

   http://localhost:7000/sse
   

🔧 技術詳細

開発

環境構築

1. リポジトリをクローンし、依存関係をインストールする：

   git clone https://github.com/MCPPhalanx/binaryninja-mcp.git
   cd binaryninja-mcp
   uv install
   

2. 開発サーバーを起動する：

   uv run python -m binaryninja_mcp.server --dev
   

3. テストを実行する：

   pytest
   pytest --snapshot-update  # テストスナップショットを更新する
   

バージョン管理

uvx と hatch を使用してバージョン管理を行います：

uvx hatch version a       # テスト版を増やす
uvx hatch version minor,rc  # リリース候補バージョンを公開する
uvx hatch version release   # 正式版を公開する

リリース

uv publish

📄 ライセンス

Apache 2.0