REA：把逆向工程接给 AI Agent 的 MCP 服务器
看到一个 App 里很棒的功能，想在自己的产品里实现，但没有源码 ------ 这是逆向工程的经典场景。
传统做法是反编译、读汇编、理解、重写，门槛极高。REA 换了个思路：让 AI Agent 通过 MCP 调用专业逆向工具，拿到证据后自己推理、写实现、跑验证。
本文基于 GitHub 官方仓库与文档的完整调研，拆解它的定位、能力矩阵、架构设计与工程实践。
一、项目速览
| 项 | 值 |
|---|---|
| 仓库 | morluto/rea |
| 官网 | https://rea.tools |
| 官方描述 | Reverse engineer anything with agents, from app behavior down to native binaries |
| 星数 | 10 万+（GitHub API 查询值，未做反刷星校准；该数字增长极快） |
| Fork | 2.4 万+ |
| 开放 Issue | 160+ |
| 主语言 | TypeScript（82.6%）+ JavaScript（10.0%） |
| 许可 | MIT |
| 创建时间 | 2026-04-14 |
| 最近推送 | 2026-10-12（pushed_at，即最后提交） |
| npm 包 | rea-agents v6.4.0 |
核心口号：
See a feature you like. Understand how it works, down to the binary level.
（看到喜欢的功能，理解它怎么工作 ------ 直到二进制层面）
一个容易被忽略的信号：官方 CHANGELOG 里明确写了
Added Pi, Hermes and Qwen Code setup, including Hermes active-profile support.
也就是说，Hermes 在它的官方支持列表里（共 17 个客户端 ID）。
二、它解决什么问题
场景 ：你在某个 App 里看到一个很棒的功能，想在自己的产品里实现，但没有源码。
传统做法 ：反编译 → 读汇编/伪代码 → 自己理解 → 重写。门槛极高、耗时极长。
REA 的做法：让 AI Agent 通过 MCP 调用逆向工具，自动完成采集证据、追踪调用链、输出实现。
#mermaid-svg-lSe5ePdDlH3tgaBB{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-lSe5ePdDlH3tgaBB .error-icon{fill:#552222;}#mermaid-svg-lSe5ePdDlH3tgaBB .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-lSe5ePdDlH3tgaBB .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-lSe5ePdDlH3tgaBB .marker{fill:#333333;stroke:#333333;}#mermaid-svg-lSe5ePdDlH3tgaBB .marker.cross{stroke:#333333;}#mermaid-svg-lSe5ePdDlH3tgaBB svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-lSe5ePdDlH3tgaBB p{margin:0;}#mermaid-svg-lSe5ePdDlH3tgaBB .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster-label text{fill:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster-label span{color:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster-label span p{background-color:transparent;}#mermaid-svg-lSe5ePdDlH3tgaBB .label text,#mermaid-svg-lSe5ePdDlH3tgaBB span{fill:#333;color:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB .node rect,#mermaid-svg-lSe5ePdDlH3tgaBB .node circle,#mermaid-svg-lSe5ePdDlH3tgaBB .node ellipse,#mermaid-svg-lSe5ePdDlH3tgaBB .node polygon,#mermaid-svg-lSe5ePdDlH3tgaBB .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-lSe5ePdDlH3tgaBB .rough-node .label text,#mermaid-svg-lSe5ePdDlH3tgaBB .node .label text,#mermaid-svg-lSe5ePdDlH3tgaBB .image-shape .label,#mermaid-svg-lSe5ePdDlH3tgaBB .icon-shape .label{text-anchor:middle;}#mermaid-svg-lSe5ePdDlH3tgaBB .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-lSe5ePdDlH3tgaBB .rough-node .label,#mermaid-svg-lSe5ePdDlH3tgaBB .node .label,#mermaid-svg-lSe5ePdDlH3tgaBB .image-shape .label,#mermaid-svg-lSe5ePdDlH3tgaBB .icon-shape .label{text-align:center;}#mermaid-svg-lSe5ePdDlH3tgaBB .node.clickable{cursor:pointer;}#mermaid-svg-lSe5ePdDlH3tgaBB .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-lSe5ePdDlH3tgaBB .arrowheadPath{fill:#333333;}#mermaid-svg-lSe5ePdDlH3tgaBB .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-lSe5ePdDlH3tgaBB .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-lSe5ePdDlH3tgaBB .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-lSe5ePdDlH3tgaBB .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-lSe5ePdDlH3tgaBB .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-lSe5ePdDlH3tgaBB .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster text{fill:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB .cluster span{color:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-lSe5ePdDlH3tgaBB .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-lSe5ePdDlH3tgaBB rect.text{fill:none;stroke-width:0;}#mermaid-svg-lSe5ePdDlH3tgaBB .icon-shape,#mermaid-svg-lSe5ePdDlH3tgaBB .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-lSe5ePdDlH3tgaBB .icon-shape p,#mermaid-svg-lSe5ePdDlH3tgaBB .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-lSe5ePdDlH3tgaBB .icon-shape rect,#mermaid-svg-lSe5ePdDlH3tgaBB .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-lSe5ePdDlH3tgaBB .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-lSe5ePdDlH3tgaBB .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-lSe5ePdDlH3tgaBB :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} MCP 调用
原生二进制
JS / Electron
.NET 程序集
网站
Android APK
固件
你的 Agent
Claude Code / Codex 等
REA MCP Server
目标类型
Hopper / Ghidra / IDA
AST 分析
source map
PE/CLI 元数据
CIL 指令
Chrome CDP
Playwright
JADX / Apktool / ADB
Binwalk / Unblob
返回证据
伪代码 / 汇编 / 调用图
Agent 解释行为
并写出实现
测试验证
关键设计 ：REA 返回的是「证据」而不是「结论」 ------ 伪代码、汇编、字符串、符号、调用引用，以及明确的未知项。Agent 拿到证据后自己推理，再写实现、跑测试。
这一点很重要：它不是「AI 一键破解」的黑盒，而是给 Agent 提供可核查的原始材料。
三、能力矩阵：能分析什么
REA 覆盖 16 类目标：
| 目标类型 | REA 返回内容 | 依赖工具 |
|---|---|---|
| 原生二进制 | 伪代码、汇编、字符串、符号、调用与引用 | Hopper / Ghidra / IDA |
| ELF 布局（离线） | 节区、段、原始符号/重定位、静态缓解候选 | pwntools（Linux x64） |
| WASM 产物 | 校验、节区、导入导出 WAT 形式、解码 WAT | WABT 1.0.42 |
| EVM 字节码 | 分派选择器、字节偏移、推断参数与可变性 | 本地 carrier（Linux x64） |
| Linux 崩溃记录 | 原始笔记、各线程寄存器/信号、映射候选 | pwntools、可选 GDB/pwndbg |
| JavaScript / Electron | 模块、导入、source map、路由、IPC、原生插件关系 | Node.js + npm（无需原生引擎） |
| 网站 | 页面结构、脚本、网络观测、按需截图 | Chrome 系浏览器 |
| 网络抓包 | 请求、响应、暴露的载荷、源码位置 | HAR；mitmproxy |
| .NET 程序集 | 元数据、CIL 指令、声明式原生依赖、构建对比 | 无需额外工具（纯静态） |
| Android APK | Manifest 声明、类、反编译方法、引用 | JADX + JDK |
| Android 设备 | 设备、包、进程、日志、dump、截图、文件传输 | adb |
| JEB 项目 | 引擎支撑的项目单元、产物摘要、类型/方法伪代码 | JEB 客户端（MCP） |
| Android 资源 | 解码 Manifest、字符串表、语言、版本信息 | Apktool |
| 固件 | 区域划分、提取结果、原生分析交接 | Binwalk / Unblob（Linux） |
| 包与资源 | 文件清单、摘要、plist、Apple bundle 结构、提取资源 | 内置 |
| 进程行为 | 终端输出、交互、退出与文件系统观测、运行对比 | Linux/macOS 原生 PTY |
一个重要区分：
| 模式 | 行为 | 代表目标 |
|---|---|---|
| 静态分析 | 只读文件，不运行程序 | JS / .NET / APK |
| 运行时捕获 | 会运行或交互目标（以你的用户权限） | 网站、进程行为、Android 设备 |
#mermaid-svg-pQKRK8jUkhM1wPlM{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-pQKRK8jUkhM1wPlM .error-icon{fill:#552222;}#mermaid-svg-pQKRK8jUkhM1wPlM .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-pQKRK8jUkhM1wPlM .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-pQKRK8jUkhM1wPlM .marker{fill:#333333;stroke:#333333;}#mermaid-svg-pQKRK8jUkhM1wPlM .marker.cross{stroke:#333333;}#mermaid-svg-pQKRK8jUkhM1wPlM svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-pQKRK8jUkhM1wPlM p{margin:0;}#mermaid-svg-pQKRK8jUkhM1wPlM .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster-label text{fill:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster-label span{color:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster-label span p{background-color:transparent;}#mermaid-svg-pQKRK8jUkhM1wPlM .label text,#mermaid-svg-pQKRK8jUkhM1wPlM span{fill:#333;color:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM .node rect,#mermaid-svg-pQKRK8jUkhM1wPlM .node circle,#mermaid-svg-pQKRK8jUkhM1wPlM .node ellipse,#mermaid-svg-pQKRK8jUkhM1wPlM .node polygon,#mermaid-svg-pQKRK8jUkhM1wPlM .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-pQKRK8jUkhM1wPlM .rough-node .label text,#mermaid-svg-pQKRK8jUkhM1wPlM .node .label text,#mermaid-svg-pQKRK8jUkhM1wPlM .image-shape .label,#mermaid-svg-pQKRK8jUkhM1wPlM .icon-shape .label{text-anchor:middle;}#mermaid-svg-pQKRK8jUkhM1wPlM .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-pQKRK8jUkhM1wPlM .rough-node .label,#mermaid-svg-pQKRK8jUkhM1wPlM .node .label,#mermaid-svg-pQKRK8jUkhM1wPlM .image-shape .label,#mermaid-svg-pQKRK8jUkhM1wPlM .icon-shape .label{text-align:center;}#mermaid-svg-pQKRK8jUkhM1wPlM .node.clickable{cursor:pointer;}#mermaid-svg-pQKRK8jUkhM1wPlM .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-pQKRK8jUkhM1wPlM .arrowheadPath{fill:#333333;}#mermaid-svg-pQKRK8jUkhM1wPlM .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-pQKRK8jUkhM1wPlM .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-pQKRK8jUkhM1wPlM .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-pQKRK8jUkhM1wPlM .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-pQKRK8jUkhM1wPlM .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-pQKRK8jUkhM1wPlM .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster text{fill:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM .cluster span{color:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-pQKRK8jUkhM1wPlM .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-pQKRK8jUkhM1wPlM rect.text{fill:none;stroke-width:0;}#mermaid-svg-pQKRK8jUkhM1wPlM .icon-shape,#mermaid-svg-pQKRK8jUkhM1wPlM .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-pQKRK8jUkhM1wPlM .icon-shape p,#mermaid-svg-pQKRK8jUkhM1wPlM .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-pQKRK8jUkhM1wPlM .icon-shape rect,#mermaid-svg-pQKRK8jUkhM1wPlM .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-pQKRK8jUkhM1wPlM .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-pQKRK8jUkhM1wPlM .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-pQKRK8jUkhM1wPlM :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 运行时捕获(会执行目标)
网站 / 浏览器
进程行为 PTY
Android 设备 ADB
网络抓包
静态分析(只读)
JavaScript / Electron
.NET 程序集
Android APK
ELF / WASM 布局
统一返回:证据 + 未知项
四、架构解析
REA 官方提供了一张完整的架构图（docs/architecture.mermaid），层次划分清晰。
重要说明 ：下图是官方文档声明的架构意图 ，未与源码做交叉验证。真正衡量分层质量要看「跨层调用数」与「依赖箭头是否单向」------ 图画得漂亮不等于代码分层干净。
#mermaid-svg-ymeDPSPksTVwoC8b{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-ymeDPSPksTVwoC8b .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-ymeDPSPksTVwoC8b .error-icon{fill:#552222;}#mermaid-svg-ymeDPSPksTVwoC8b .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-ymeDPSPksTVwoC8b .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-ymeDPSPksTVwoC8b .marker{fill:#333333;stroke:#333333;}#mermaid-svg-ymeDPSPksTVwoC8b .marker.cross{stroke:#333333;}#mermaid-svg-ymeDPSPksTVwoC8b svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-ymeDPSPksTVwoC8b p{margin:0;}#mermaid-svg-ymeDPSPksTVwoC8b .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-ymeDPSPksTVwoC8b .cluster-label text{fill:#333;}#mermaid-svg-ymeDPSPksTVwoC8b .cluster-label span{color:#333;}#mermaid-svg-ymeDPSPksTVwoC8b .cluster-label span p{background-color:transparent;}#mermaid-svg-ymeDPSPksTVwoC8b .label text,#mermaid-svg-ymeDPSPksTVwoC8b span{fill:#333;color:#333;}#mermaid-svg-ymeDPSPksTVwoC8b .node rect,#mermaid-svg-ymeDPSPksTVwoC8b .node circle,#mermaid-svg-ymeDPSPksTVwoC8b .node ellipse,#mermaid-svg-ymeDPSPksTVwoC8b .node polygon,#mermaid-svg-ymeDPSPksTVwoC8b .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-ymeDPSPksTVwoC8b .rough-node .label text,#mermaid-svg-ymeDPSPksTVwoC8b .node .label text,#mermaid-svg-ymeDPSPksTVwoC8b .image-shape .label,#mermaid-svg-ymeDPSPksTVwoC8b .icon-shape .label{text-anchor:middle;}#mermaid-svg-ymeDPSPksTVwoC8b .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-ymeDPSPksTVwoC8b .rough-node .label,#mermaid-svg-ymeDPSPksTVwoC8b .node .label,#mermaid-svg-ymeDPSPksTVwoC8b .image-shape .label,#mermaid-svg-ymeDPSPksTVwoC8b .icon-shape .label{text-align:center;}#mermaid-svg-ymeDPSPksTVwoC8b .node.clickable{cursor:pointer;}#mermaid-svg-ymeDPSPksTVwoC8b .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-ymeDPSPksTVwoC8b .arrowheadPath{fill:#333333;}#mermaid-svg-ymeDPSPksTVwoC8b .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-ymeDPSPksTVwoC8b .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-ymeDPSPksTVwoC8b .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ymeDPSPksTVwoC8b .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-ymeDPSPksTVwoC8b .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ymeDPSPksTVwoC8b .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-ymeDPSPksTVwoC8b .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-ymeDPSPksTVwoC8b .cluster text{fill:#333;}#mermaid-svg-ymeDPSPksTVwoC8b .cluster span{color:#333;}#mermaid-svg-ymeDPSPksTVwoC8b div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-ymeDPSPksTVwoC8b .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-ymeDPSPksTVwoC8b rect.text{fill:none;stroke-width:0;}#mermaid-svg-ymeDPSPksTVwoC8b .icon-shape,#mermaid-svg-ymeDPSPksTVwoC8b .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-ymeDPSPksTVwoC8b .icon-shape p,#mermaid-svg-ymeDPSPksTVwoC8b .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-ymeDPSPksTVwoC8b .icon-shape rect,#mermaid-svg-ymeDPSPksTVwoC8b .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-ymeDPSPksTVwoC8b .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-ymeDPSPksTVwoC8b .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-ymeDPSPksTVwoC8b :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 领域层
契约层
进程基础层
Provider 层
应用层 Application
适配层 Adapters
入口层 Entry Points
组合层 Composition
类型化 provider 与会话工厂
一次性绑定 + 独立可选加载
CLI 适配器
setup / diagnostics / analysis
MCP stdio 服务器
config / session / 生命周期
rea.mjs 调度器
路由 mcp / one-shot
MCP 请求翻译
createServer / toolResult
Hopper Bridge (Python)
Ghidra Bridge (Java)
HeadlessScript
宿主安装适配
macOS DMG / Linux 包管理
CLI / MCP 共享工作流
SessionProviderRouter
每目标一个不可变深绑定
AnalysisProviderRegistry
确定性选择,不降级
InvestigationRecords
EvidenceLedger + Unknown 归属
BinarySessionRecords
快照缓存与兼容门面
JavaScript 产物重建
目录 / ASAR + 纯 AST 投影
pwntools / pwndbg
EVM (EVMole / WASM)
Hopper 启动 + Unix socket
Ghidra 发现 / 分析 / 传输
适配上游
ida-pro-mcp
浏览器 CDP / Playwright
source map 编解码器
.NET 托管元数据
固件 Binwalk / Unblob
Android 静态 APK
有界进程组 / 私有根
超时 / 有界读取 / 清理
Windows 宿主边界适配
Node-API 原生实现
NTFS 准入 / Job Object
调用方可见 Schema
共享错误 Schema + 错误目录
纯副作用无关模块
证据 / 对比 / 应用图
五个值得学习的架构决策：
| 决策 | 说明 |
|---|---|
| 不可变深绑定 | SessionProviderRouter 为每个分析目标绑定一个不可变的 provider ------ 一次分析中途不能换 provider，避免证据串味。「不可变」这三个字才是真正的设计决策 |
| 证据归属 | EvidenceLedger 与 Unknown 有明确归属 ------ 「未知」是一等公民，必须显式记录 |
| 进程隔离 | src/process/ 统一管理「有界进程组、私有根、超时、有界文件读取」 |
| Windows 原生 | native/windows/src/ 用 Node-API 实现 NTFS 准入 + Job Object 内存限制 |
| 领域层分离 | 官方文档标注 src/domain/ 为无副作用纯模块（证据、对比、应用图）------ 是否严格符合需自行阅读源码 |
五、怎么用（三种方式）
方式 1：接入你的 Agent（主推）
bash
npx rea-agents setup选择你的 Agent → 审查变更 → 批准。Setup 会：
- 注册 REA 的 MCP 服务器
- 安装配套的工作流指令（skill）
- 备份现有配置
供应链安全提示（重要） ：
npx rea-agents setup的本质是「执行未锁定版本的第三方包，并让它修改你的用户级 Agent 配置 （如~/.claude、~/.codex）」。这是当前开源生态里风险最高的安装模式之一。建议执行前先本地解包审查：
bashnpm pack rea-agents # 下载 tarball 不执行 tar -tzf rea-agents-*.tgz # 看文件清单 # 重点检查 package.json 里的 prepare / prepack / postinstall 等生命周期钩子好消息是：该包的 npm
dist里带signatures与attestations（SLSA provenance v1），发布来源可验证。
支持的 Agent （17 个客户端 ID）：Claude Code、Codex、Cursor、Gemini CLI、Grok Build、Qwen Code、Pi、Hermes、OpenCode 等。
方式 2：命令行直接用
bash
# 分析 JS / Electron 应用
npx -y rea-agents@latest analyze-javascript-application /path/to/app --json
# 全局安装
npm install --global rea-agents
rea --help方式 3：只装 skill（不装 MCP）
bash
npx skills add morluto/rea --skill reverse-engineer-anything环境要求（官方原文）：
| 项 | 要求 |
|---|---|
| Node.js | 22.x（>=22.19）/ 24.x（>=24.11）/ 26+ |
| 不支持 | Node.js 23、25、预发布版 |
| 原生分析引擎 | Hopper（macOS 付费）/ Ghidra（免费开源）/ IDA（付费） |
| 无需引擎 | JS/Electron 静态分析 + .NET 分析 |
六、MCP 工具清单
从 docs/mcp-contracts.md 提取的主要工具：
| 工具 | 作用 |
|---|---|
binary_session |
核心 · 会话入口，报告包/服务器/SDK 身份与工具可用性 |
open_binary |
核心 · 打开二进制目标 |
inspect_binary_layout |
检查二进制布局（节区/段） |
get_call_graph |
核心 · 获取调用图 |
trace_call_path |
追踪调用路径 |
inspect_analysis_view |
检查分析视图（大分析摘要式浏览） |
analyze_javascript_application |
核心 · 分析 JS / Electron 应用（无引擎依赖） |
compare_application_versions |
对比应用版本 |
compare_web_captures |
对比网络抓包 |
compare_artifacts |
对比产物 |
compare_javascript_export_shapes |
对比 JS 导出形状 |
trace_application_feature |
核心 · 追踪应用功能（最贴近「看懂一个功能」的主用例） |
capture_process_scenario |
捕获进程场景 |
extract_artifact |
提取产物 |
export_evidence_bundle |
导出证据包 |
get_evidence_bundle |
获取证据包 |
evaluate_reconstruction_coverage |
评估重建覆盖率 |
get_navigation_context |
获取导航上下文 |
设计细节 ：binary_session 是会话状态入口 ，用来报告当前 session 上下文与工具可用性。（按 MCP 协议语义，tools/list 才是工具可用性的规范来源。）
而 tools/list 会返回完整清单（包括当前不可用的工具） ------ 这是一个刻意偏离 MCP 惯例的设计（不少 MCP 服务器会按上下文动态过滤）。好处是 Agent 能预知全部能力、目录稳定、缓存友好；代价是每次调用都要自己判断可用性。
打开/关闭目标或 provider 健康状态变化不会 触发 notifications/tools/list_changed 通知（该通知在 MCP 规范里是可选 的）。这是有意识的权衡：目录稳定 → 客户端无需重拉 ，代价是工具健康状态必须靠 binary_session 主动拉取才能感知。
一个务实的工程细节 ：部分 function-calling provider 会拒绝「单个工具 parameters schema 超过序列化大小上限」的请求。官方为此提供 REA_MCP_INPUT_SCHEMA_PROFILE=compact，把每个输入 schema 压到 13,312 字节预算内。
注意：该阈值随 provider 而异 。官方文档写明这个预算「measured to sit below Moonshot's observed cap」，即针对 Moonshot 的观测上限做的（社区测量：13.7 KB 通过、更大被拒）。不要把它当成所有 provider 的通用上限。
七、真实案例（官方 Showcase）
| 案例 | 做了什么 | 验证方式 |
|---|---|---|
| DX-Ball 音效声像 | 追踪音效调用到「位置→声像」辅助函数，把不完整伪代码转成 C | 通过 3,205 个原始 x86 用例 ，复现全部 63 个编译函数字节 |
| Notion 剪贴板桥 | 找到渲染进程剪贴板 API，沿 preload → IPC → 主进程追踪，检查富剪贴板格式 | 全链路追踪 |
| TH04 DOS 弹幕环 | 检查原版 PC-98 游戏的 16 位指令，恢复固定角度与瞄准角度计算 | 对比重建 C++ 与历史编译器输出 |
三个案例的共同点 ：不是「看起来对」，而是用原始用例 / 字节 / 编译器输出验证。这呼应了它「证据优先」的设计哲学。
注意 ：以上三组数据均来自项目 README 的维护者自述，未经第三方复核。它们反映的是项目方声称的验证方式，请按「维护者给出的验证数据」来理解，而非独立验证结论。
八、工程质量观察
| 维度 | 观察 |
|---|---|
| 文档完备度 | docs/ 下 54 个文档，含架构图、MCP 契约、各目标分析指南、错误契约 Schema |
| 测试 | Vitest 套件 + fixtures/ 假启动器/bridge/CDP 接缝；有「真实工具链验证通道」要求 |
| CI/CD | release-please 自动发布，husky git hooks，oxlint / oxfmt |
| 多语言 README | 提供多语言 README（含中、英、日、韩、俄、阿、波斯、泰、越等） |
| 依赖管理 | 35 个运行时依赖，含 @modelcontextprotocol/{client,server} 2.3.1 |
| 错误处理 | error-contract.schema.json + user-visible-errors.csv + 生成式错误目录 |
| 迭代速度 | 10 月 3 日 → 10 月 11 日，10 个版本（3.2.1 → 6.4.0） |
四个可借鉴的工程实践：
#mermaid-svg-CsOexlEKCUBVKBUE{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-CsOexlEKCUBVKBUE .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-CsOexlEKCUBVKBUE .error-icon{fill:#552222;}#mermaid-svg-CsOexlEKCUBVKBUE .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-CsOexlEKCUBVKBUE .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-CsOexlEKCUBVKBUE .marker{fill:#333333;stroke:#333333;}#mermaid-svg-CsOexlEKCUBVKBUE .marker.cross{stroke:#333333;}#mermaid-svg-CsOexlEKCUBVKBUE svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-CsOexlEKCUBVKBUE p{margin:0;}#mermaid-svg-CsOexlEKCUBVKBUE .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-CsOexlEKCUBVKBUE .cluster-label text{fill:#333;}#mermaid-svg-CsOexlEKCUBVKBUE .cluster-label span{color:#333;}#mermaid-svg-CsOexlEKCUBVKBUE .cluster-label span p{background-color:transparent;}#mermaid-svg-CsOexlEKCUBVKBUE .label text,#mermaid-svg-CsOexlEKCUBVKBUE span{fill:#333;color:#333;}#mermaid-svg-CsOexlEKCUBVKBUE .node rect,#mermaid-svg-CsOexlEKCUBVKBUE .node circle,#mermaid-svg-CsOexlEKCUBVKBUE .node ellipse,#mermaid-svg-CsOexlEKCUBVKBUE .node polygon,#mermaid-svg-CsOexlEKCUBVKBUE .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-CsOexlEKCUBVKBUE .rough-node .label text,#mermaid-svg-CsOexlEKCUBVKBUE .node .label text,#mermaid-svg-CsOexlEKCUBVKBUE .image-shape .label,#mermaid-svg-CsOexlEKCUBVKBUE .icon-shape .label{text-anchor:middle;}#mermaid-svg-CsOexlEKCUBVKBUE .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-CsOexlEKCUBVKBUE .rough-node .label,#mermaid-svg-CsOexlEKCUBVKBUE .node .label,#mermaid-svg-CsOexlEKCUBVKBUE .image-shape .label,#mermaid-svg-CsOexlEKCUBVKBUE .icon-shape .label{text-align:center;}#mermaid-svg-CsOexlEKCUBVKBUE .node.clickable{cursor:pointer;}#mermaid-svg-CsOexlEKCUBVKBUE .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-CsOexlEKCUBVKBUE .arrowheadPath{fill:#333333;}#mermaid-svg-CsOexlEKCUBVKBUE .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-CsOexlEKCUBVKBUE .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-CsOexlEKCUBVKBUE .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-CsOexlEKCUBVKBUE .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-CsOexlEKCUBVKBUE .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-CsOexlEKCUBVKBUE .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-CsOexlEKCUBVKBUE .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-CsOexlEKCUBVKBUE .cluster text{fill:#333;}#mermaid-svg-CsOexlEKCUBVKBUE .cluster span{color:#333;}#mermaid-svg-CsOexlEKCUBVKBUE div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-CsOexlEKCUBVKBUE .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-CsOexlEKCUBVKBUE rect.text{fill:none;stroke-width:0;}#mermaid-svg-CsOexlEKCUBVKBUE .icon-shape,#mermaid-svg-CsOexlEKCUBVKBUE .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-CsOexlEKCUBVKBUE .icon-shape p,#mermaid-svg-CsOexlEKCUBVKBUE .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-CsOexlEKCUBVKBUE .icon-shape rect,#mermaid-svg-CsOexlEKCUBVKBUE .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-CsOexlEKCUBVKBUE .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-CsOexlEKCUBVKBUE .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-CsOexlEKCUBVKBUE :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} ① 未知显式化
Unknown 是一等公民
可信赖的
Agent 工具
② 零降级
provider 选不到就报错
③ 证据可追溯
EvidenceLedger + 导出
④ 有界资源
超时 / 内存 / 私有根
九、对后端工程师的启发
REA 是 TypeScript 项目，但它的架构模式与技术栈无关，对做后端/Agent 系统的人有直接参考价值。
真正值得抄的一条：把「未知」写进输出契约
REA 最独特的做法，不是 MCP（那是协议本身的设计意图），也不是「零降级」（那只是 fail loudly 的常识），而是：
它把「未知」作为一等公民写进了工具的输出契约 ------
EvidenceLedger记录每条证据的来源，Unknown有明确的归属字段。
这在 Agent 工具设计里是稀缺的。绝大多数工具返回的是「尽力而为的答案」，调用方无法区分「我确定」和「我猜的」。而 Agent 拿到模糊答案后会当真，接着基于错误前提继续推理 ------ 这是 Agent 系统里最隐蔽的失败模式。
可迁移的做法 ：给你的 Agent 工具输出加一个 confidence / unknowns 字段，让模型能区分「已确认」与「推测」。这个改动的成本极低，收益很大。
另一条：外部工具必须有资源边界
src/process/ 那一层做的「有界进程组 + 私有根 + 超时 + 有界文件读取 」，是很多 Agent 系统的短板。跑外部工具时不做资源约束，很容易出现进程泄漏、磁盘写爆、内存耗尽 ------ 尤其当 Agent 会自主决定调用什么工具、调多少次的时候。
十、风险与边界
| 风险 | 说明 |
|---|---|
| 法律合规（重要） | 见下方专门说明 ------ 这一段对国内读者尤其关键 |
| 版本迭代过快 | 一周 10 个版本 ------ 官方自己说「main 描述当前代码，@latest 选 npm 发布」，文档可能滞后 |
| Provider 差异 | 原生格式支持度随 provider 而异（Hopper / Ghidra / IDA 能力不同） |
| 本地执行风险 | 运行时捕获会真的运行目标程序（以你的权限），有安全影响 |
| 对抗性内容注入 | 运行时捕获的目标内容（网页 HTML/JS、进程输出）会进入 Agent 上下文 。若目标包含「忽略之前指令」这类对抗性 prompt ，可能经 MCP 结果注入回 Agent |
| 恶意样本扩散 | 分析恶意样本时，Agent 重建出的代码本身可能带恶意逻辑，若直接进生产代码库风险极高 |
| 隐私 | 官方明确：REA 本地分析 ，但结果会交给你的 Agent，Agent 的模型 provider 有自己的数据政策 |
| 平台成熟度 | Ghidra 的 Windows 支持标注为 P0（只读，实验性） |
| 仓库元数据异常 | topics 里挂着 cordis（Discord 客户端库）、ctf、dsh、dsh-plugin ------ 与「逆向工程 MCP 服务器」毫无关联 。结合「6 个月达 10 万+ 星」的量级，建议自行核查 star 曲线与 contributor 图 |
关于法律合规，需要展开说
| 法域 | 关键点 |
|---|---|
| 中国 | 《计算机软件保护条例》第 24 条允许为兼容性（互操作）目的 做反向工程，但第 26 条与《反不正当竞争法》禁止将其用于商业利用 |
| 合同层 | 几乎所有商用软件的 EULA 都另行禁止逆向 ------ 形成「版权 + 合同 」双重约束。违约是合同责任 ，违法是侵权责任，这是两条独立的线 |
| 欧盟 | 软件指令（2009/24/EC）对反编译有严格限定（仅限互操作目的） |
| 美国 | DMCA §1201 限制的是规避技术保护措施，与逆向本身不直接冲突，但可能被牵连 |
结论 ：本文引用的案例（DX-Ball / TH04 等）属于已停产游戏或个人收藏场景 ，性质相对单纯。商业项目做逆向请务必先做法律咨询 ------ 这不是可以「自行判断」的小事。
十一、小结
它是什么
REA 是「逆向工程能力的 MCP 化封装」 ------ 把 Hopper / Ghidra / IDA / JADX / Binwalk 等专业工具，统一成一套 MCP 工具，让 AI Agent 能自主调用、拿到证据、写实现、跑验证。
为什么值得关注
| 理由 | 说明 |
|---|---|
| 趋势信号 | 10.3 万星、一周 10 个版本 ------ 「Agent + 专业工具」的组合正在爆发 |
| 架构范本 | 分层清晰、证据可追溯、未知显式化、零降级 ------ 工程质量的参考样本 |
| 生态互通 | 官方支持列表包含 17 个 Agent 客户端 |
| 技能可迁移 | MCP 能力总线、有界进程、多 provider 适配 ------ 与语言无关 |
什么情况下值得试
| 情况 | 建议 |
|---|---|
| 只想分析 JS / Electron 应用 | 最容易上手 ------ 有 Node.js 即可，无需额外引擎 |
| 要分析原生二进制 | 需装 Ghidra（免费）或使用已有 IDA / Hopper |
| 想接进自己的 Agent | npx rea-agents setup，选客户端、审查变更、批准 |
附：关键链接
| 资源 | 地址 |
|---|---|
| 仓库 | https://github.com/morluto/rea |
| 官网 | https://rea.tools |
| 指南 | https://rea.tools/guides/ |
| 案例 | https://rea.tools/showcase/ |
| npm | https://www.npmjs.com/package/rea-agents |
| 架构图 | docs/architecture.mermaid |
| MCP 契约 | docs/mcp-contracts.md |
| 路线图 | docs/roadmap.md |
调研说明 ：本文数据来自 GitHub API 实时查询 与官方仓库原文 （README 18330 字符、CHANGELOG、
docs/下架构与契约文档）。星数、Fork、版本号均为 2026-10-12 查询时的真实值。本文为静态调研，未在本机运行 REA 做实测。