Skip to content

[codex] Add REA to MCP Utilities - #158

Merged
milisp merged 1 commit into
milisp:mainfrom
morluto:codex/add-rea
Oct 9, 2026
Merged

milisp merged 1 commit into
milisp:mainfrom
morluto:codex/add-rea

Conversation

@morluto

@morluto morluto commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

🛠️ Changes Proposed

  • Add one factual REA entry under Customize → MCP Servers → Utilities.

REA gives Codex a local stdio MCP interface to reverse-engineering tools for native binaries, JavaScript/Electron apps, and .NET assemblies. It retains evidence provenance and analysis limitations. Native deep analysis needs separately installed Hopper, Ghidra, or IDA.

📈 Proof of Traction

REA had 37,833 GitHub stars at preparation on 2026-10-09 and is actively maintained. It is MIT licensed.

Codex integration is implemented and documented in installation instructions: REA has a codex setup/doctor client profile and supports local stdio MCP registration. I did not change the current user's Codex configuration during this listing task.

✅ Quick Check

  • Real Codex CLI integration
  • No duplicates & neutral description (no marketing)

Validation: checked the project and installation links, contribution rules, relevant category, existing entries/submissions, and git diff --check. Ran the published rea-agents@6.1.0 CLI against a small local Electron fixture, then connected an MCP SDK client to its stdio server and successfully called analyze_javascript_application, receiving structured evidence. No new real Hopper/Ghidra/IDA verification was performed for this listing. I maintain REA.

@morluto
morluto marked this pull request as ready for review October 9, 2026 15:14
@milisp
milisp merged commit b1cb290 into milisp:main Oct 9, 2026
@github-actions

github-actions Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

🎉 Thanks for the contribution, @morluto!

If you'd like more eyes on what you just shipped, feel free to submit it to ProductShip.lol — a free "just shipped" feed with upvoting.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants