设置智能体
设置流程会添加 REA 的 MCP 服务和匹配的工作流指引，并备份已有配置。
npx rea-agents setup- GitHub Stars
- 50,000+
- 可分析目标
- 15 类
- 重建测试用例
- 3,205
原生二进制文件离线 ELF 布局EVM 字节码已记录的 Linux 崩溃JavaScript / Electron网站已保存的网络捕获.NET 程序集Android APKAndroid 设备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 时重新执行设置命令。
向智能体提问
把 Notes 换成你的目标应用，并描述你想弄清的功能。
弄清 Notes 应用的搜索功能如何工作，展示证据，并为我的项目实现类似功能。
或者直接用终端
检查已解包的 JavaScript / Electron 应用目录或 ASAR 文件。把路径换成你的目标路径。
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --jsonWindows 路径示例："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 如何提供帮助，以及你的发现。
任何支持本地 MCP 服务的智能体都可以使用。设置流程会自动配置受支持的智能体（Claude Code、Codex、Cursor、Gemini CLI、Grok Build 等）；其他客户端可以通过手动注册 MCP 接入。
深入的原生分析需要其中一个引擎。静态 JavaScript 和 .NET 检查不需要原生分析引擎。设置流程可以在你批准后安装 Hopper；Ghidra 和 IDA 使用你已有的安装。不同提供方支持的原生格式和主机系统有所不同。
不需要。REA 会在操作需要时启动 Hopper。在 macOS 上，首次运行时可能会出现对话框，让你选择演示模式或激活许可证。
skill 为智能体提供调查指引。使用 npx rea-agents setup 注册 REA 的 MCP 服务并安装匹配的指引，然后重启智能体即可。也可以只安装 skill。
原生分析返回伪代码和汇编；JavaScript / Electron 分析恢复模块及其关系；.NET 分析返回元数据与 CIL 指令。智能体利用这些发现编写并测试实现，案例中提供了可复现的完整示例。
不会。REA 在本机分析目标。智能体会接收工具结果，而它背后的模型提供商有自己的数据政策，这一点取决于你选择的智能体。
先更新，最近的版本很可能已修复了问题。通过 npm 安装的 CLI 运行 rea update；用 npx 设置智能体则重新执行 npx rea-agents@latest setup。完成设置更新后重启智能体，再重试同一任务。若问题依旧，请提交 issue 并附上 REA 版本、目标类型、复现步骤和错误输出。
npx rea-agents@latest setup