leanrea

leanrea 是 REA（Reverse Engineer Anything）的轻量化替代方案：仅一个8KB的SKILL.md文本文件，不需要MCP服务器、不需要207条工具定义、无需额外安装服务，直接指导AI代理调用本机已有的bash命令完成软件逆向分析。

核心原理（和REA本质区别）

• REA方案：AI Agent ↔ MCP中间服务 ↔ otool/nm/jadx/binwalk等工具；光是加载207个工具就要消耗40万token，上下文开销巨大，还会产生超大JSON输出拖慢流程。
• leanrea方案：去掉中间MCP层；直接给AI一套路由规则+一键执行命令，让代理直接调用系统shell批量执行侦察指令，同时提前列出REA里踩过的坑，避免无效调用。

资源开销对比

实测基准（Claude Code Sonnet 5.5，macOS ARM64）

4项逆向任务×3轮重复，总分75分：

1. leanrea：耗时388s、花费$2.17、55轮对话、240万token，得分74/75（仅一处通道版本识别偏差）
2. REA原版：耗时627s、花费$3.36、124轮对话、593万token，满分75/75

对比收益：速度快38%、成本降低35%、对话轮次减少56%、Token消耗直接砍掉60%，精度几乎持平。

四项实测任务：

• Electron应用：追踪asar包内原生函数→主进程→IPC通信链路
• Mach-O原生插件：导出符号、TCC权限、单实例锁排查
• Go剥离二进制：提取编译版本、依赖信息
• 深度反汇编：从汇编中锁定套接字路径、通信协议、认证规则

执行效率差距（真实命令耗时）

• Go编译信息：REA 0.56s；原生go version -m仅0.06s
• Mach-O文件概览：REA 3.32s；otool+nm组合仅0.04s
• Electron打包分析：REA经常卡在asar校验，成功后输出140MB JSON；leanrea用asar+rg检索仅4.8秒，输出仅24KB

支持逆向目标清单

内置文件路由，自动匹配最优命令：
Electron asar包、Web打包产物、Hermes字节码、Mach-O/ELF/PE二进制、Go/Rust/.NET程序、APK、WASM、SQLite、pcap抓包、固件文件。

内置最佳实践规则

1. 始终在文件副本上分析，不改动原文件
2. 按文件魔数自动匹配命令，批量合并多条探测为单次shell调用，减少来回轮次
3. 压缩文件只切片读取，避免整包加载
4. 用rg -uu检索隐藏目录（webpack打包代码常藏在点文件夹里）
5. 结论必须标注：亲眼看到、合理推断、无法确认三种等级

安装与调用

一键安装（支持Claude Code、Cursor、Codex、Gemini CLI、OpenCode）

# 交互式安装
npx skills add aicodeking/leanrea

# 全局所有代理
npx skills add aicodeking/leanrea -g -a '*' -y

# 仅给Claude Code安装
npx skills add aicodeking/leanrea -a claude-code -y

手动部署（无技能管理器时）

git clone [https://github.com/aicodeking/leanrea](https://github.com/aicodeking/leanrea)
mkdir -p ~/.claude/skills
cp leanrea/leanrea ~/.claude/skills/

发起逆向任务

/leanrea 分析Foo.app的搜索功能，给出完整证据链

边界说明

1. 测试仅在macOS+Sonnet 5.5完成，样本有限；无大规模多模型评测。
2. 它不自带Ghidra、Jadx、Hopper等反编译工具，只会调用本机已装好的命令行程序。
3. 相比纯无技能裸跑模型：leanrea提速约19%，轮次减少32%，增益小于对比REA的提升幅度。
4. 它不是REA官方精简版，属于独立社区项目。

复现整套基准测试

cd bench
./setup.sh   # 部署REA环境、准备测试App
./run_all.sh # 自动跑完36轮测试