本机分析，证据可复核

看清它如何运作，再把功能拿回来。

智能体用 REA 调查本机上的原生二进制、Electron 应用、.NET 程序集与网站。没有源代码，也能拿到伪代码、调用链和支撑每条结论的证据。

开始安装阅读指南

REA 的分析桥在 Hopper 中启动，正在反汇编并格式化一个 Mach-O arm64 二进制文件的 __TEXT 段 — 真实的分析会话。REA 在本机驱动 Hopper 的分析桥，把反汇编、格式化与交叉引用整理成带证据的结果。

GitHub Stars: 50,000+
可分析目标: 15 类
重建测试用例: 3,205

原生二进制文件离线 ELF 布局 EVM 字节码已记录的 Linux 崩溃 JavaScript / Electron 网站已保存的网络捕获 .NET 程序集 Android APK Android 设备 JEB 项目 Android 资源固件软件包与资源进程行为

一个服务，连上所有分析工具

在应用里看到一个想加入自己产品的功能，就让智能体用 REA 调查它。没有源代码，它也能检查应用、解释功能的工作方式、展示证据。

静态检查只读取你提供的文件。运行时捕获会以你的用户权限运行目标，各运行时指南逐项说明影响范围。

本机提供方: 原生分析可以用你已有的 Hopper 或 Ghidra，设置流程也可以在你批准后安装 Hopper。
回传结果: 伪代码、汇编、引用位置和明确的未知项，每条结论都附带支撑证据。

智能体

提出你想弄清的问题，指定目标。

Claude Code / Codex / Cursor / Gemini CLI / Grok Build
REA MCP 服务

把问题翻译成对本机分析工具的调用。

统一的结果契约与工具目录
分析引擎

检查目标并追踪相关代码，留下证据。

Hopper / Ghidra / IDA / Chrome / JADX / adb / pwntools

CLI 命令走同一条路径，结果契约一致，方便脚本化与回归对比。

三步闭环，中间不做猜测

问对问题，拿到证据，产出可验证的实现。结果里同时包含证据和相关限制，缺少什么、无法确认什么，都会一并说明。

MCP 调用
智能体发起调查

智能体通过 MCP 调用 REA，指定目标与想弄清的行为。CLI 走同一套工作流，结果契约一致。
本机运行
本机分析并留下证据

REA 检查目标、追踪相关代码，返回发现及其证据：伪代码、汇编、引用位置，以及明确的未知项。
产出代码
解释、实现、测试

智能体据此提出后续问题、解释行为，或直接编写并测试实现。案例中已有可复现的完整示例。

可以分析什么

从原生二进制、EVM 字节码到固件、APK 与进程行为，覆盖静态与运行时两条路径。切换分类可以查看每种目标的要求与返回内容。

需要分析提供方，或调用方自带的二进制工具链

原生二进制文件
要求
Hopper、Ghidra 或 IDA
REA 返回
伪代码、汇编、字符串、符号、调用和引用
离线 ELF 布局
要求
Linux x64 上由调用方提供的 pwntools
REA 返回
节、段、原始符号与重定位信息，以及静态防护机制候选项
EVM 字节码
要求
Linux x64 上的本地原始字节或十六进制输入载体
REA 返回
分派选择器、字节偏移、推断的参数和状态可变性
已记录的 Linux 崩溃
要求
pwntools（Linux x64）；可选的 GDB / pwndbg
REA 返回
原始 note 记录、每个已记录线程的寄存器与信号，以及可选的映射候选项
固件
要求
Linux 上的 Binwalk / Unblob
REA 返回
区域、提取结果，以及转交原生分析的内容

证据优先: 每条结论都附带支撑引用，无法确认的部分作为未知项列出，不被悄悄补齐。
本机执行: 静态检查只读取你提供的文件，运行时捕获的影响范围在指南中逐项说明。
环境要求: Node.js 22.x（≥22.19）、24.x（≥24.11）或 26+，以及 npm。

两分钟接上你的智能体

装好 Node.js 和 npm 后运行设置命令，选择智能体，检查计划中的变更并批准。完成后重启智能体。

REA 更新较快，新版本经常包含错误修复。用 npm 安装的 CLI 执行 rea update，用 npx 时重新执行设置命令。

设置智能体

设置流程会添加 REA 的 MCP 服务和匹配的工作流指引，并备份已有配置。

向智能体提问

把 Notes 换成你的目标应用，并描述你想弄清的功能。

弄清 Notes 应用的搜索功能如何工作，展示证据，并为我的项目实现类似功能。

或者直接用终端

检查已解包的 JavaScript / Electron 应用目录或 ASAR 文件。把路径换成你的目标路径。

Windows 路径示例："D:/apps/example"

实战案例

从调用链到通过的测试

每个案例都给出目标、提出的问题、REA 提供的信息，以及最终可验证的结果。

全部案例 ↗

原生二进制

DX-Ball：重建声像计算

沿声音调用追踪到根据位置计算声像的辅助函数，检查指令，把不完整的伪代码转成 C。

测试用例: 3,205 全部通过
字节复现: 63 / 63

JavaScript

Notion：追踪 Electron 剪贴板桥

找到渲染进程的剪贴板 API，沿 preload 和 IPC 追踪到主进程，并检查富格式剪贴板数据。

边界: renderer → preload → main

旧版二进制

TH04：恢复 DOS 环形子弹的计算

检查原始 PC-98 游戏的 16 位指令，恢复固定角度和瞄准角度的计算，并与当年编译器输出对比。

指令宽度: 16-bit

用 REA 分析过有趣的目标，欢迎通过 issue 或 pull request 分享：说明目标、你的问题、REA 如何提供帮助，以及你的发现。

还在犹豫的地方

关于引擎依赖、skill 安装、数据流向和排障的常见疑问。

完整安装与设置文档 ↗

看到喜欢的功能，把它弄明白。

分析在本机运行。设置流程会先展示将要写入的变更，备份已有配置，你确认后才继续。

开始安装阅读指南

Node.js: 22.x / 24.x / 26+
许可证: MIT

GitHub Star 已达 50,000。感谢每一位报告错误、提出需求与贡献修复的朋友。

看清它如何运作， 再把功能拿回来。

一个服务，连上所有分析工具

智能体

REA MCP 服务

分析引擎

三步闭环，中间不做猜测

智能体发起调查

本机分析并留下证据

解释、实现、测试

可以分析什么

原生二进制文件

离线 ELF 布局

EVM 字节码

已记录的 Linux 崩溃

固件

JavaScript / Electron

.NET 程序集

软件包与资源

JEB 项目

Android APK

Android 设备

Android 资源

网站

已保存的网络捕获

进程行为