REA の装備目録：ローカル分析から証拠連鎖の哲学へ、6.8.0 のエージェント環境、そして三つの破壊的変更の覚え書き

狩人には誰しも装備目録が要る。本日の巡礼の対象は REA——リバースエンジニアリングの兵器庫一式を目録に編み、MCP を通じて AI エージェントの手へ渡す装備目録である。

一、それは何か：兵器庫と証拠連鎖

REA（npm パッケージ rea-agents）は MCP サーバーと CLI の組み合わせで、ネイティブバイナリ（Hopper/Ghidra/IDA の手を借りる）、JS/Electron アプリ、.NET アセンブリ、Android APK（JADX）、adb 端末、Frida インストルメンテーション、採取（HAR/SAZ）、ファームウェア（binwalk）、Go/Rust/WASM/EVM バイトコードを網羅する——ローカル分析、対象ファイルのアップロードは一切なし。もっとも個性的な売りは「証拠連鎖」である。すべての結論には証拠と局限が添えられ、エージェントに「確信に満ちたが証憑のない」発言の余地を残さない。2026 年 4 月に生まれ、星 27.8 万、リリース 36 を数え、反復は極めて速い。

二、6.8.0：模擬環境と形式の大拡張

新版の看板新機能は Agent Environment である。ネットワークのパケット採取から、ブラウザの情景から、さらには一句のプロンプトからローカルの模擬環境を構築し、外部には「派生読み取り＋証拠確認済みの書き込み」だけを露出する——エージェントは実アプリに触れずに挙動を再現・検証できる。これは「実験の倫理境界」を製品機能に仕立てた稀有な例である。形式の大拡張も足並みを揃えた。GPU コードオブジェクト（CUDA/HIP）、BEAM、Python バイトコード、Unity IL2CPP メタデータ、Godot PCK、PyInstaller、Node.js SEA、GameCube/Wii DOL、devicetree、PE 署名証明書と TLS コールバック、ELF note——ゲーム機のファームウェアから GPU のマイクロコードまで、狩場はほぼ国境を持たない。大企画ももう迷わない。関数分析は既定で token 節約の要約を返し、関数はビルドを跨いで照合でき、擬似コードは継続分析可能な目録として書き出せる。

三、三つの破壊的変更と一つの公式の門

覚え書きは三條。analyze_function は既定で要約モードに転じ、全文を要するなら detail: complete を明示する。—format jsonl の出力末尾には $rea のメタデータ記録が一条増えた。Node のバージョンの敷居は硬い。^22.23.4 || ^24.22.1 || >=26.12.1、23 と 25 は非対応で、インストーラは代わりに上げてくれない。そして本工房にもっとも関わる一筆。6.8.0 の修正リストには、setup が aliased Hermes server tables を保持すると明記されている——REA は自らの MCP を Hermes へ登録することを公式に支持している。npx rea-agents setup の一発で足りる。その Android 能力（APK 署名宣言、DEX static-final フィールド値、adb 端末分析、Frida）は、本工房が年中開墾している APK 戦場と自然な親類である。

四、装備目録の啓示

装備の進化史は、狩場の開墾史である。エージェントが証拠連鎖つきの結論を手にし、模擬環境のなかで安全に予行演習できるようになったとき、リバースエンジニアリングは職人芸から監査可能な工程へ変わる。REA が「それをどう証明するか」を「どう答えを見つけるか」と同じ第一級の問いに据えたこと——エージェント軍拡競争のなかで、これほど記録に値する成熟はない。