# LeanREA

> An independent agent skill that routes application and binary investigations through ordinary command-line tools. It supplies batched triage recipes, targeted source/disassembly reading and explicit seen/inferred/unknown evidence labels, accompanied by a small author-reported comparison against an REA MCP workflow.

- Type: Integration
- Targets: App · Binary
- Category: Independent agent workflows
- Relationship: Independent agent integration
- Sources reviewed: 2026-10-17
- Added to the catalog: 2026-10-17
- Original resource: <https://github.com/aicodeking/leanrea>
- Primary source: <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/README.md>
- Catalog page: <https://awesomerea.org/resources/leanrea-skill/>
- Record JSON: <https://awesomerea.org/resources/leanrea-skill/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/leanrea-skill/index.md)

## Requirements & limits

- A plain-text skill for a shell-capable agent; it installs no analysis engine or decompiler and needs no REA MCP server. Manual installation needs a compatible skill client, the optional npx route Node.js/npm. Recipes need their own tools, such as ripgrep, jq, Go, Electron asar tooling or Xcode command-line tools; DecompileAll.java is not bundled.
- The author’s benchmark used Claude Code 2.1.301, Sonnet 5.5 and macOS arm64 on Notion 7.35.1 app.asar, mac_utils.node and a gh binary built with Go 1.27.1, against rea-agents 6.5.0 over MCP. Reproducing it needs those locally obtained targets, Python 3, Node/npm, macOS tools and model access.
- Across 12 runs per arm, LeanREA scores 74/75 checks to REA’s 75/75 at lower time, cost and turn counts; these are author records, and the no-skill arm’s correction from 66/75 to 67/75 rests on an unpublished answer.
- Ground truth is hand-written regex keys, not behavioral-equivalence tests. Transcripts, target hashes and the resolved model ID (the default is the mutable sonnet alias) are unpublished, and the arms ran concurrently.
- The 400.7k-token figure is a separate all-tools context probe, not the comparison setup. Native analysis engines and Android were not tested, and REA also offers a CLI.
- MIT for the skill and benchmark code, crediting REA’s code and documentation and disclaiming affiliation; external tools, model services and targets keep their own terms.

## Primary sources

1. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/README.md>
2. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/leanrea/SKILL.md>
3. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/BENCHMARK.md>
4. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/results/final.jsonl>
5. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/tasks.json>
6. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/run.py>
7. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/setup.sh>
8. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/bench/ctx.sh>
9. <https://github.com/aicodeking/leanrea/blob/09ba4aa0217f82cd880f855a60b877f59f39b22b/LICENSE>
10. <https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/README.md>
11. <https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/.agents/skills/reverse-engineer-anything/SKILL.md>

## More in Agents and MCP

- [Universal Modder](https://awesomerea.org/resources/universal-modder-agent-toolkit/index.md) · Integration
- [ReVa (Reverse Engineering Assistant)](https://awesomerea.org/resources/reva-ghidra-mcp/index.md) · Integration
- [x64dbg-MCP Server](https://awesomerea.org/resources/x64dbg-mcp-server/index.md) · Integration
- [mcp-windbg](https://awesomerea.org/resources/mcp-windbg/index.md) · Integration
- [Wireshark MCP](https://awesomerea.org/resources/wireshark-mcp/index.md) · Integration
- [BINNY](https://awesomerea.org/resources/binny-agent-harness/index.md) · Integration

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.
