Reverse Engine Anything Plus

Reverse Engine Anything Plus

リバースエンジニアリングのための単一の MCP サーバー — Windows のリアルタイムデバッグと、PE／ELF、Mach-O、.NET、APK、IL2CPP、WASM／EVM、ファームウェア、Web に対応した 161 種類の静的解析ツールスイート。

エージェントが質問すると、rea-plus はバイナリを調査し、推測ではなく証拠に基づいて回答します。

インストール · クライアント · Docker · 機能 · ツール · 仕組み · セキュリティ · ロードマップ · FAQ

✨ rea-plus の特長

• 🐞 スクリーンショットではなく、実際のデバッグ — x64dbg、cdb（WinDbg）、Frida のエンジンを、変更のない 30 ツールのコアに統合しています。ブレークポイント、ステップ実行、レジスター、メモリー、コールスタック、タイムトラベルチェックポイントに対応します。
• 🧰 161 種類の静的解析ツール — Ghidra headless、rizin／radare2、.NET CIL（dnfile）と ILSpy、jadx／apktool／adb、WASM と EVM、ファームウェア、ブラウザー／HAR、UPX、PE／ELF／Mach-O リーダーなどを利用できます。
• 🤝 設計から誠実さを重視 — バックエンドが見つからない場合は、インストール方法を示して capability_unsupported を返します。結果を偽装せず、エラーは適切な MCP isError として返し、ライブデバッグを変更する呼び出しには confirm:true が必要です。
• 🧩 191 種類のツール、2 つのリソース、7 つのプロンプト — 生成されたカタログ全体は docs/TOOLS.md にあります。REA_TOOLSETS を使うと、コンテキストの小さいクライアントでもプロファイルの一部だけを読み込めます（設定を参照）。HTTP トークンがない場合、すべての機能ではなく、読み取り専用の 44 ツールの許可リストのみが登録されます。
• 🔌 2 種類のトランスポート — ローカルエージェント向けの stdio と、共有環境向けのストリーミング可能な HTTP（/mcp と /health、ベアラートークン、localhost の Host／Origin 検証）に対応します。
• 🧪 約束ではなく、実証済み — 既定のテストレーンには 91 個のファイルが含まれ、リリース版のラインは Ubuntu CI で検証されます。また、実際にコンパイルされたサーバーを動作させるプロトコルテストも用意されています。

$ rea-plus-cli doctor            # what is installed on this machine, what is missing
$ rea-plus-cli analyze-evm "transfer(address,uint256)"
transfer(address,uint256) -> 0xa9059cbb

// One MCP call your agent makes:
{ "name": "rea_investigate", "arguments": { "path": "sample.exe" } }
// -> sniff + confidence + provider plan + evidence bundle, in one answer

🚀 インストール

要件： Node.js ≥ 20。その他のツール（Ghidra、rizin、jadx、Frida のツールなど）はすべて任意です。バックエンドが利用可能になると、それに対応するツールが使えるようになります。doctor を実行すると、お使いの環境の状況を確認できます。ライブデバッガー（x64dbg／cdb／Frida attach）には Windows が必要です。静的解析はどの環境でも実行できます。

ワンクリック（Cursor／VS Code）

セットアップウィザード（単体ダウンロード）

npm を使わない場合は、最新リリースから setup.mjs（Windows 用の setup.ps1 もあります）をダウンロードしてください。必要なのは Node.js 20+ だけです。

node setup.mjs --list        # detect installed clients
node setup.mjs --dry-run     # preview without writing
node setup.mjs --yes         # write MCP config (asks unless --yes)

.\setup.ps1 --list
.\setup.ps1 --yes

パッケージ内から実行する場合：npx -y rea-plus rea-plus-cli setup（同じウィザードが起動します）。

npx（クローン不要）

stdio MCP クライアントなら、npm レジストリから直接起動できます。

{
  "mcpServers": {
    "rea-plus": {
      "command": "npx",
      "args": ["-y", "rea-plus"]
    }
  }
}

公開状況： [email protected] は npm レジストリで公開中で、io.github.Alyhnte/rea-plus は MCP Registry で公開されています。サポートされているインストール方法は、上記の npx -y rea-plus と GHCR です（Docker を参照）。

クローンしてビルド

git clone https://github.com/Alyhnte/ReaPlus.git
cd ReaPlus
npm ci
npm run build        # tsc + runtime assets (frida-agent.js, Ghidra scripts) -> dist/
npm start            # stdio server (dist/server.js)

# Optional HTTP transport:
node dist/server.js --transport http --port 3848
# -> GET  http://127.0.0.1:3848/health
# -> POST http://127.0.0.1:3848/mcp

オプションの追加機能

# Browser tools (Playwright is an optional dependency, loaded lazily):
npm i playwright && npx playwright install chromium

続いて、エージェントを接続し、何かを調査するよう依頼してください。

🔌 クライアントの設定

以下のどのクライアントでも、同じサーバーを利用できます。すぐに使える設定ファイルは configs/ にあります。

{
  "mcpServers": {
    "rea-plus": { "command": "npx", "args": ["-y", "rea-plus"] }
  }
}

claude mcp add rea-plus -- npx -y rea-plus

[mcp_servers.rea-plus]
command = "npx"
args = ["-y", "rea-plus"]

DBG_BRIDGE_TOKEN=your-secret node dist/server.js --transport http --port 3848
# clients connect to http://127.0.0.1:3848/mcp with Authorization: Bearer <token>

🐳 Docker

# Build locally (works today):
docker build -t rea-plus .

# stdio (for MCP clients that spawn containers):
docker run -i --rm rea-plus

# HTTP:
docker run -p 3848:3848 -e DBG_BRIDGE_TOKEN=your-secret rea-plus --transport http --port 3848 --host 0.0.0.0

イメージはリリースごとに GHCR に公開されます（ghcr.io/alyhnte/reaplus）。Windows 専用のデバッガー（x64dbg/cdb）は Linux コンテナ内で capability_unsupported を返します。静的解析、CLI、および両方のトランスポートは動作します。

🧰 機能

生成された完全なリファレンス — 191 個のツール + 2 個のリソース（rea-plus://server-info、rea-plus://capabilities-safety）+ 7 個のプロンプト（packer-triage、dotnet-malware-triage、android-triage、pe-crash-triage、elf-linux-triage、binary-diff、evidence-report） — は docs/TOOLS.md にあります。以下の表はドメインの概要のみです。

⚙️ 仕組み

flowchart LR
    A["AI agent / MCP client"] -->|stdio or streamable HTTP| S["rea-plus server"]
    S --> C["Conduit core · 30 frozen tools<br/>x64dbg · cdb · Frida · radare2"]
    S --> D["rea domains · 161 tools<br/>Ghidra · rizin · jadx · dnfile · wabt · Playwright"]
    C --> T["Target binary / live process"]
    D --> T
    C --> E["Evidence bundle + obligation ledger"]
    D --> E
    E --> A

• 変更されないコア。 30 個のコンジットツール名は変更できません（src/facade/toolNamespace.ts）。名前の変更は禁止されているため、既存のコンジットクライアントは引き続き動作します。
• rea ドメイン。 161 個の rea_* ツールは、src/server/registerReaTools.ts で一元的に登録されます。
• 確認ゲート。 対象を変更するライブ操作には confirm:true が必要です。それ以外の場合は confirmation_required が返され、サイレントな副作用は発生しません。
• 単一のカタログ。 mergedCatalog()（8 個のコンジット項目＋16 個の rea 前提条件項目）は、doctor がバージョンとダウンロードリンクを参照する唯一の情報源です。
• リソース＋プロンプト。 2 つの静的な読み取り専用リソース（rea-plus://server-info、rea-plus://capabilities-safety）と、7 つの副作用のないプロンプト（packer-triage、dotnet-malware-triage、android-triage、pe-crash-triage、elf-linux-triage、binary-diff、evidence-report）は、ツールとともに登録されます。プロンプトはテキストのみを返し、ツールを実行することはありません。
• 型付き出力（一部対応）。 structuredContent はテキストの JSON を反映します。対応範囲は意図的に限定されており、187 個のツールが outputSchema を宣言し、191 個のツールがアノテーションを持ちます。スキーマ対象外のツールは、宣言済みの出力スキーマなしでテキストの JSON を返します。ツールごとの詳細は docs/TOOLS.md を参照してください。
• ツールセットプロファイル。 REA_TOOLSETS は登録をプロファイルの一部に絞り込みます（カンマ区切りの和集合。未知の名前が指定された場合、暗黙に all にフォールバックせず、起動に失敗します）。リソースとプロンプトは絞り込まれません。新しいツールは all にのみ追加されます（フェイルクローズ）。
• Roots（レガシー＋モダン）。 レガシーな stdio 経路で REA_ROOTS=1 の場合、クライアントの Roots は REA_WORKSPACE_ROOT の範囲を狭めることしかできず、広げることはできません。モダンプロトコルの Roots では、SDK のマルチラウンドトリップフロー（inputRequired＋inputResponses）を使用します。notifications/roots/list_changed は 2026 年以前にのみ存在するため、更新は次の MRTR ラウンドで行われます。
• 進捗（汎用化）。 ステージヘルパー（createStageProgress/onAbort）は通知の頻度を調整し（約 20 回/秒）、キャンセル時に後処理を行います。rea_process_run のパイロット実装は変更せず、rea_scan_repo と rea_jadx_full は段階的に処理します。その他の同期ハンドラーは対象外です。
• 非同期ジョブ（オプトイン）。 REA_ASYNC_JOBS=1 の場合、5 つのジョブツール（rea_job_start/status/result/cancel/list）が、上限付きのインメモリーキュー（同時実行 2 件）を介して、許可リストに登録されたツール（rea_process_run、rea_scan_repo、rea_behavior_run）を実行します。デフォルトの提供ツール数は 191 個で、オプトイン時は 196 個です。

💻 CLI

同じエンジンをターミナルからスクリプトで実行できます（rea-plus-cli、またはクローン内の node dist/cli/index.js）。

rea-plus-cli analyze-evm "transfer(address,uint256)"     # -> 0xa9059cbb (fully offline)
rea-plus-cli analyze-evm "approve(address,uint256)" --json
rea-plus-cli analyze-wasm sample.wat --json
rea-plus-cli analyze-js bundle.js bundle.js.map
rea-plus-cli doctor --json                                # per-tool readiness report
rea-plus-cli doctor --fix                                 # propose install commands for missing tools (--yes applies them)
rea-plus-cli setup --dry-run                              # preview client config changes before writing

🔧 設定

設定はすべて環境変数で行います。サーバー自体で編集する設定ファイルはありません。

外部ツールは、これらの変数と PATH のみから検出されます。マシン固有のパスは組み込まれていません。

🔒 セキュリティモデル

rea-plus はデバッガーです。設計上、ローカルプロセスの起動、アタッチ、計測を行えます。シェルへのアクセスと同様に、rea-plus へのアクセスを扱ってください。

• まずは stdio。 デフォルトのトランスポートではポートを開きません。
• HTTP は厳重に保護されています。 ベアラートークン（定時間比較）、DNS リバインディング／CSRF に対する localhost の Host／Origin 検証、IP ごとのレート制限と同時実行数制限（REA_HTTP_RATE_LIMIT_PER_MIN、REA_HTTP_MAX_CONCURRENT）を適用します。トークンなしで起動した場合は、明確な警告を表示し、全 191 ツールではなく、パスを含まない読み取り専用の許可リストツール 44 個（REA_TOOLSETS との共通部分）に対象を絞ります。
• ワークスペース境界（オプトイン）。 REA_WORKSPACE_ROOT を設定すると、rea_* のパス引数、conduit の open_target／debug_open のパス、ユーザーに見える派生データの書き込み先は、ルート内にとどまる必要があります（realpath で検証するため、ジャンクション／シンボリックリンクによる逸脱も拒否されます）。オペレーター用の一時ファイル／キャッシュ領域（ブラウザーの成果物、Ghidra の tmp ディレクトリ、hopper の tmp リクエストファイル、apktool のフレームワークキャッシュ）は文書化された例外であり、ルート内に限定されません。
• 内容を記録しない監査。 REA_AUDIT_LOG はツール呼び出しごとに JSONL の 1 行を記録します。記録されるのは時刻、トランスポート、ツール名、実行時間、isError のみで、引数、トークン、パス、対象の内容は記録されません。
• 入力を検証します。 バックエンドのコマンド言語に渡されるアドレスは、16 進数／10 進数／シンボル形式に制限されます。r2／rizin への ;／! によるコマンドインジェクションは発生しません。
• SSRF ゲート。 外部へのヘルパー呼び出し（JEB ブリッジなど）は、オペレーターが明示的に許可しない限りループバックのみに制限されます。リンクローカル／メタデータのホストは常にブロックされます。
• 偽の結果はありません。 機能がない場合は、理由とともに capability_unsupported を返します。ハンドラーエラーの場合は、メッセージのみを含む MCP isError を返します（スタックトレースは含みません）。
• 静的解析パスでは対象を実行しません。 検査ツールはバイトを読み取るだけで、サンプルを実行することはありません。未知のバイナリは VM で実行してください。それがライブレーンの役割です。

🧪 テスト

テストファイルは 97 個あります。デフォルトレーン（npm test）では 91 個のファイルを実行し、ライブインジェクション／デバッガー、パケットキャプチャー、ブラウザー、e2e、ローカル Ghidra のスイートを除外します。これらは実際のプロセスやマシン固有のインストール環境に触れるため、VM または専用の CI ジョブ（npm run test:live）で実行します。各ファイルの実行時間はプロセスツリーの強制終了を伴って 90 秒に制限されるため、バックエンドがハングしてもレーン全体が停止することはありません。リリース系列の CI では、Ubuntu（Node 20 + 22）上でデフォルトレーンを実行します。

npm test                        # default lane: 91 files (live suites excluded)
npm run test:live               # everything, incl. frida/sniff/browser/e2e/ghidra (VM/CI only)
npm run test:e2e                # spawn -> /health -> tools/list
node --test tests/evm.test.mjs # single-domain runs work too

詳細：docs/VERIFY.md · docs/MCP-CONTRACTS.md · CHANGELOG.md

🎬 セッション例

実際のツールコマンドと実際の出力を使った、エンドツーエンドの解析セッションを 3 つ紹介します（数値は捏造していません。バックエンドがない場合の capability_unsupported の処理についても説明しています）。

• docs/example-sessions/ghidra-analysis.md — Ghidra ヘッドレス：インポートと解析、rea_ghidra_*（funcs/disasm/strings/decompile）、analyzeHeadless／pyghidraRun の同等コマンド、よくあるエラー
• docs/example-sessions/ida-comparison.md — IDA idat バッチ（rea_ida_idb／rea_ida_flirt）、IDA がインストールされていない場合の動作、Ghidra ↔ r2 間の関数比較（rea_diff_*）
• docs/example-sessions/r2-triage.md — radare2（iI／iz／afl／pdf）による 60 秒のトリアージ + rea_r2_callgraph／rea_r2_esil

🗺️ ロードマップ

優先項目の上位に位置しています。優先順位付きの全表は docs/ROADMAP.md にあります。

• npm + MCP Registry で公開済み（[email protected]、io.github.Alyhnte/rea-plus）。サポート対象のインストール方法は npx -y rea-plus と GHCR です。
• 型付きのインターフェースは確定済みです。187 個のツールが outputSchema を持ち（4 個は恒久的にスキーマなし）、191 個のツールがアノテーションを持っています。非同期の許可リストは 3 個のツールで構成され、段階的に実行するツールは進捗ヘルパーで対応しています。
• ゴールデンバイナリーコーパスを完成させます（プロバイダーごとの期待出力ハッシュ）。未完了のライブ Frida VM チェックと、DEX ゴールデン APK の受け入れテストも含みます。
• 署名付きリリース + SBOM、およびライブ作業向けの文書化された VM サンドボックスプロファイルを整備します。

❓ よくある質問

Ghidra、IDA、Hopper、JEB は必要ですか？ いいえ。静的な JS／.NET／WASM／EVM の解析やオフラインでの調査には必要ありません。プロバイダーを利用した詳細な解析では、インストール済みの場合に限り、各自のインストール環境が使用されます。rea-plus に商用ツールが同梱されたり、ライセンスが付与されたりすることはありません。

ツールが capability_unsupported を返すのはなぜですか？ このマシンにバックエンドがインストールされていません。レスポンスには、不足している機能と入手先（doctor が参照するものと同じカタログ）が示されます。インストールすると、コードを変更しなくてもツールが使えるようになります。

ライブ操作に confirm:true が必要なのはなぜですか？ ライブ操作は実行中のターゲットを変更するためです（ブレークポイント、ステップ実行、メモリ書き込みなど）。この制限により、エージェントが誤ってプログラムの状態を変更するのを防ぎます。

conduit と競合しますか？ いいえ。conduit のデフォルトポートは 3847、rea-plus は 3848 を使用し、30 個の conduit ツール名は固定されています。

npm でパッケージが見つからないと表示されます。 キャッシュを更新してください — [email protected] は npm レジストリで入手でき、MCP Registry にも公開されています。上記のどの環境でも npx -y rea-plus または GHCR イメージを使用してください。

🤝 コントリビューション

Issue と PR を歓迎します — バグ報告、機能のアイデア、ドキュメントなどをお寄せください。提出前に npm run typecheck と npm test を実行し、conduit のツール名は変更せず、新しいツールが正直に失敗するようにしてください（capability_unsupported を返し、偽の ok は返さないでください）。

rea-plus によって、ヘックスエディターでの調査に費やす午後の時間を節約できたなら、⭐ を付けていただけると、ほかのリバースエンジニアにも見つけてもらいやすくなります。

📄 ライセンス

MIT。rea-plus のコードは MIT ライセンスです。サードパーティ製ツールやプロバイダーには、それぞれ独自のライセンスが適用されます — 商用ツール（IDA Pro、Hopper、JEB）は、ベンダーの規約に従い、適法に入手し、使用許可を得る必要があります。