集成
LeanREA 命令行逆向分析技能
独立智能体技能,使用普通命令行工具开展应用与二进制调查,提供批量初查、针对性源码/反汇编阅读,以及明确的已观察/推断/未知证据标记,并附有作者报告的 REA MCP 工作流小规模对照。
使用条件与局限
- LeanREA 是供具备终端访问能力的智能体使用的纯文本技能,不安装分析引擎、不实现反编译器,也不要求 REA MCP 服务。手动安装需要兼容的技能客户端;可选的 npx 安装方式需要 Node.js/npm。不同目标的命令依赖各自工具,例如 ripgrep、jq、Go、Electron asar 工具或 Xcode 命令行工具。部分示例需要调整或另行提供文件,包括仓库未附带的 DecompileAll.java。
- 作者报告的基准使用 Claude Code 2.1.301、Sonnet 5.5 与 macOS arm64:围绕三个输入产物提出四项问题,三个实验组各重复三次,共 36 次运行。输入为 Notion 7.35.1 的 app.asar、mac_utils.node,以及使用 Go 1.27.1 构建的 gh 二进制;对照组通过 MCP 使用 rea-agents 6.5.0 及其官方技能。复现需要自行获取本地目标、Python 3、Node/npm、相关 macOS 工具及已认证的模型服务;仓库不提供目标二进制。
- 公开指标按每组 12 次运行汇总。LeanREA 得到 74/75 项检查,对照 REA 为 75/75;耗时约为 388 对 627 秒,费用为 2.17 对 3.36 美元,交互轮数为 55 对 124。这些是作者提供的记录,并非独立测量,也不是相同准确率。无技能组的原始记录合计为 66/75,正文因一处作者报告的正则误判将其修正为 67/75;对应回答未公开,本合集无法独立确认该修正。
- 答案依据是针对部分事实手工编写的正则表达式,不是可执行的行为等价测试或完整功能重建验收。公开文件包含指标与未命中键名,没有回答转录或目标哈希。运行器默认使用可变的 sonnet 别名,并允许通过 BENCH_MODEL 覆盖;公开指标未记录最终解析的模型标识。计时范围是准备工作目录之后的模型子进程,三个实验组并发运行。这些边界限制了复现能力和对耗时差异的归因。
- 400.7k token 来自关闭工具检索、一次加载全部工具的独立上下文探针,并非 36 次主对照使用的配置;主对照中的 REA 组采用按需工具检索。实验未安装原生分析引擎,也未评估 Android 任务;其他目标的命令示例不等于经过测试的覆盖能力。REA 本身同时提供 CLI 与 MCP 接口,因此该基准不能证明 LeanREA 替代所有 REA 工作流。
- 固定版本的项目为技能和基准代码声明 MIT,并将许多工作流细节归功于 REA 的代码与文档,同时明确声明双方没有隶属关系。外部分析工具、模型服务与目标应用仍有各自要求及条款。基准文档自标日期为 2026-10-16,初始公开提交日期为 2026-10-17;此后至审阅版本只修改了 README。本合集仅审阅源码并重新汇总公开指标,未运行技能、模型、工具或目标。
关于此条目
- 类型
- 集成
- 类别
- 独立智能体工作流
- 关联
- 独立智能体集成
- 目标
- 应用 · 二进制
来源复核于
说明已依据一手来源复核;这不代表已运行验证、经过安全审计或确认兼容。
一手来源
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/README.md
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/leanrea/SKILL.md
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/BENCHMARK.md
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/results/final.jsonl
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/tasks.json
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/run.py
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/setup.sh
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/ctx.sh
- https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/LICENSE
- https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/README.md
- https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/.agents/skills/reverse-engineer-anything/SKILL.md