rea

morlutoMIT活跃维护

用 AI Agent 做逆向工程,从应用行为分析一路深入到原生二进制,覆盖 Android、C++ 等多平台场景。

Reverse engineer anything with agents, from app behavior down to native binaries.

rea-agents-6.8.0发布于 2026-10-25 08:36 UTC447,555star +8,741 / 7 天110,357fork同步于 2026-11-10 05:17 UTC

怎么上手

由 README 提炼,执行前请确认
npx rea-agents setup
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json
硬件要求按 README 说明

README 未说明显存或 GPU 要求;分析在本地运行,原生深度分析依赖已安装的 Hopper、Ghidra、IDA 或 Kuna,静态 JavaScript 与 .NET 分析无需原生引擎。

需要 CUDA
下载:源码 zip·GitHub Releases(安装包)本站不镜像安装包

项目说明

由 README 自动翻译提炼

把逆向工程工具接进 AI Agent 的 MCP 服务,从应用行为一路查到原生二进制

用 AI Agent 做逆向工程,从应用行为分析一路深入到原生二进制,覆盖 Android、C++ 等多平台场景。

核心能力

  • 通过 MCP 把逆向工具接入 Claude Code、Codex、Cursor 等 Agent
  • 静态分析 JavaScript/Electron 应用,还原模块、导入与 Electron 边界
  • 分析原生二进制,输出伪代码与汇编,可复用 Hopper、Ghidra、IDA、Kuna
  • 检查 .NET 程序集与网站,结论附带证据与局限说明
  • 把录制的 API 请求导出为可运行的 RL 环境

容易踩的坑

需先装 Node.js 和 npm,setup 会改动 Agent 配置并需重启 Agent 才生效;原生分析要自备 Hopper/Ghidra/IDA/Kuna,首次用 Hopper 可能弹出 demo 或授权对话框;Linux 上 Ghidra、JADX 等需 PATH 中有 procps 兼容的 ps。

内容由模型根据 README 生成,可能不完整或不准确,以官方文档为准。看原文 README
这个条目还没有人工点评。如果它对你很有用,欢迎到 提交仓库 页写下你的使用经验。

用户点评

登录用户的真实使用记录,可按版本和硬件筛选
共 0 条

    还没有人点评。第一个说出真实体验的人最有价值。

    最近发版

    5 个版本rea-agents-6.8.0
    1. rea-agents-6.8.0rea-agents: v6.8.0最新正式版2026-10-25 · 2026-10-25 08:36 UTC

      6.8.0 (2026-10-25)

      Highlights

      • Build local agent environments from network captures, browser scenarios, or a prompt, then serve derived reads and evidence-gated writes and compare them with fresh application captures.
      • Inspect more shipped formats, including GPU code objects, BEAM, Python bytecode, Unity IL2CPP metadata, Godot PCK, PyInstaller, Node.js SEA, devicetree, and additional PE/ELF tables.
      • Keep large investigations focused with retained summaries, selected fact queries, configurable recovery limits, and row-oriented CLI exports. Complete Evidence remains available.

      ⚠ BREAKING CHANGES

      • Function analysis: analyze_function now defaults to a retained summary. Set detail: "complete" for the previous inline dossier; the CLI retains its complete default and requires --evidence_output when selecting a summary. #5660. Thanks @CryptoJones, @gensokyo-dev, @RishTheFish21.
      • Accessibility: Accept JSON numbers and booleans in node value, alongside strings and null. Update consumers that previously assumed text-only values. cc90771, #6759, #6467. Thanks @coygeek, @gensokyo-dev, @mvanhorn.
      • JSON Lines: --format jsonl now emits object-collection rows followed by a $rea: "jsonl/v1", type: "metadata" record; scalar selections and unsupported reports are refused. Parse control records separately, select a single supported collection when necessary, and use --format json for the previous whole-document output. See JSON Lines framing. #5629, #5487. Thanks @gensokyo-dev, @jayykernel, @vijaykiran06.
      • Interface Builder: Keyed-archive graph identities use decimal table UIDs instead of authored objectID/object-id. Treat authored IDs as attributes and update persisted graph lookups; ibtool and native NIBArchive identities keep their source semantics. 6fbe67d.
      • Frida: instrument-with-frida JSON returns the canonical Evidence directly. Read normalized_result.cleanup_error instead of the former top-level wrapper field. 48f700e.
      • Reconstruction proof: ID-array proof records no longer establish verified or ready ledgers. Supply implementation/revision bindings and individual claim outcomes; handle inapplicable, unavailable, and failed proof diagnostics. f8b65e7.
      • Mach-O imports: Handle a null import name when identity is ambiguous; use raw_name and name_status to distinguish observed expressions from exact symbols. 5d0d243, 169512a.
      • Node.js: Use a runtime satisfying ^22.23.4 || ^24.22.1 || >=26.12.1; Node 23 and 25 are unsupported. Upgrade Node before installing or updating REA; the installer does not upgrade it. #6315, #6283. Thanks @GamerDubz, @gensokyo-dev, @ShikamaruNaaraa.
      • Browser storage: Historical hashed storage remains readable, but comparisons stay unknown until both captures are recaptured in the new representation. #6341, #6289. Thanks @coygeek, @gongfpp.
      • Environment serving: `environment-se
    2. rea-agents-6.7.0rea-agents: v6.7.02026-10-18 · 2026-10-18 07:45 UTC
      查看更新说明

      6.7.0 (2026-10-18)

      Highlights

      • Client configuration edits follow the duplicate-member semantics used by MCP clients.

      Changes

      Fixes

      • Client configuration: Setup edits the last repeated JSON/JSONC member, matching the value clients actually read. Setup and uninstall refuse a removal that would reactivate a shadowed duplicate, preserving the original configuration. (#4957, morluto/rea#4952). Thanks @kaoru0822-kitauji, @xu91102.

      Full contribution record: 4 commits and 1 merged PR.

      6.6.0 (2026-10-18)

      Highlights

      • Add Kuna as a caller-supplied static-analysis provider.
      • Query selected JavaScript facts and multiple APK locale tables without repeating the underlying analysis.
      • Extend Ghidra analysis to Windows ARM PE targets and explicit raw m68k images.
      • Preserve completed Evidence, cancellation reasons and retryable cleanup across provider and CLI finalization.

      Changes

      • Kuna analysis: Use a caller-installed Kuna for procedure listings, pseudocode, assembly, call relationships, exact-address xrefs and cached string searches. Project exports retain source spans and digests; repeated requests reuse completed work. Recorded real-provider coverage uses Kuna 1.833 on Linux; Windows, PE and universal Mach-O are unsupported. See the provider guide. (#3832, #3854, #4071, #4095). Thanks @gensokyo-dev, @kaoru0822-kitauji, @N0zoM1z0.
      • Retained JavaScript facts: Query exact application paths, selected properties and filtered module references through inspect_analysis_view, with paging and complete row Evidence. These views reuse completed analysis and preserve source selection and unknown coverage. (#4265, morluto/rea#4190, #4097, morluto/rea#4092). Thanks @kaoru0822-kitauji, @N0zoM1z0.
      • APK locale tables: Request several resource locales in one decode with repeatable CLI --locales or MCP locales. Each table reports its status and coverage; existing single-locale fields remain available. (#4804, morluto/rea#4777). Thanks @abhay-2108, @N0zoM1z0.
      • Windows ARM binaries: Ghidra admits ARMNT/Thumb-2 and ARM64 PE applications and DLLs on the Windows x64 host lane. Recorded Ghidra 12.1.4 verification uses WindowsResourceReference disabled and raised startup budgets; default-analyzer completion, ARM64EC/ARM64X and Windows-on-Arm hosts remain unverified or unsupported. See the exact scope. (#3965, morluto/rea#2186). Thanks @N0zoM1z0, @WestLabsAI.
      • Raw m68k images: Analyze explicitly selected big-endian m68k raw binaries using Ghidra’s fixed 68000 profile and a caller-supplied aligned entry. Real CLI/MCP verification used Ghidra 12.1.4 on macOS arm64; Linux is unverified and Windows P0 does not admit m68k. See mapping requirements. (#4018). Thanks @icedac.
      • JADX deadlines: Set `REA_JADX_OPERAT
    3. rea-agents-6.6.0rea-agents: v6.6.02026-10-18 · 2026-10-18 03:40 UTC
      查看更新说明

      6.6.0 (2026-10-18)

      Highlights

      • Add Kuna as a caller-supplied static-analysis provider.
      • Query selected JavaScript facts and multiple APK locale tables without repeating the underlying analysis.
      • Extend Ghidra analysis to Windows ARM PE targets and explicit raw m68k images.
      • Preserve completed Evidence, cancellation reasons and retryable cleanup across provider and CLI finalization.

      Changes

      • Kuna analysis: Use a caller-installed Kuna for procedure listings, pseudocode, assembly, call relationships, exact-address xrefs and cached string searches. Project exports retain source spans and digests; repeated requests reuse completed work. Recorded real-provider coverage uses Kuna 1.833 on Linux; Windows, PE and universal Mach-O are unsupported. See the provider guide. (#3832, #3854, #4071, #4095). Thanks @gensokyo-dev, @kaoru0822-kitauji, @N0zoM1z0.
      • Retained JavaScript facts: Query exact application paths, selected properties and filtered module references through inspect_analysis_view, with paging and complete row Evidence. These views reuse completed analysis and preserve source selection and unknown coverage. (#4265, morluto/rea#4190, #4097, morluto/rea#4092). Thanks @kaoru0822-kitauji, @N0zoM1z0.
      • APK locale tables: Request several resource locales in one decode with repeatable CLI --locales or MCP locales. Each table reports its status and coverage; existing single-locale fields remain available. (#4804, morluto/rea#4777). Thanks @abhay-2108, @N0zoM1z0.
      • Windows ARM binaries: Ghidra admits ARMNT/Thumb-2 and ARM64 PE applications and DLLs on the Windows x64 host lane. Recorded Ghidra 12.1.4 verification uses WindowsResourceReference disabled and raised startup budgets; default-analyzer completion, ARM64EC/ARM64X and Windows-on-Arm hosts remain unverified or unsupported. See the exact scope. (#3965, morluto/rea#2186). Thanks @N0zoM1z0, @WestLabsAI.
      • Raw m68k images: Analyze explicitly selected big-endian m68k raw binaries using Ghidra’s fixed 68000 profile and a caller-supplied aligned entry. Real CLI/MCP verification used Ghidra 12.1.4 on macOS arm64; Linux is unverified and Windows P0 does not admit m68k. See mapping requirements. (#4018). Thanks @icedac.
      • JADX deadlines: Set REA_JADX_OPERATION_TIMEOUT_MS to extend APK loading and upstream operation deadlines together. Doctor reports the effective value and setup forwards an explicit selection. (#4466, morluto/rea#3918). Thanks @jaychou813, @SandstromPL.
      • Electron window options: Resolve stable local constant BrowserWindow options while retaining source provenance. Relevant writes and escapes keep the result unknown. (#4400, morluto/rea#4366). Thanks @kaoru0822-kitauji, @N0zoM1z0.
      • Language editions: Add the Greek website edition and Malayalam documentation, with Korean typography and translation corrections across the site. (#3520, #4792, #3821,
    4. rea-agents-6.5.0rea-agents: v6.5.02026-10-14 · 2026-10-14 12:32 UTC
      查看更新说明

      6.5.0 (2026-10-13)

      Provider prerequisites and recorded verification scope are listed in the testing guide.

      Highlights

      • Analyze selected JavaScript files and recover cross-bundle relationships without expanding the selected source scope.
      • Read compact summaries and page retained Evidence across binary, managed, Android, Dart, WASM and network workflows.
      • Inspect SQLite snapshots, packet and signal recordings, WebAssembly, Rust dependency metadata and Electron fuses offline.
      • Keep completed Evidence and partial observations available when analysis or cleanup fails.

      Changes

      • JavaScript source selection: analyze exact application paths without expanding imports into the selected scope. Unselected files retain identity and explicit unknown coverage; summary delivery remains separate from source selection. (#1944, issue morluto/rea#1848). Thanks @kaoru0822-kitauji, @N0zoM1z0.
      • Code-split recovery: recover related bundles from multiple selected inputs, retaining per-file provenance and downstream cross-chunk imports. Recorded CLI/MCP coverage is Linux x64 with Wakaru 1.14.0 and source-owned esbuild/webpack fixtures; other hosts, releases and arbitrary application equivalence remain unverified. (#1686, issue morluto/rea#1605). Thanks @JingHao-Leon, @pionxzh.
      • Package imports: resolve exact package import aliases using the selected loader and package ancestry, rather than guessing sibling files. (#1862, issue morluto/rea#1838). Thanks @AWUQAQ, @mvanhorn.
      • Retained analysis views: opt into compact inventory/WASM, managed metadata, Android manifest, Dart AOT, Mach-O and EVM summaries, then page retained Evidence without rerunning analysis. Summary delivery preserves the complete recorded result and its original coverage. (#2122, #2193, #2413, #2438, #2455, #2634, #2308, 9a18251). Thanks @kaoru0822-kitauji, @N0zoM1z0.
      • Managed assemblies: Select declaring types when inspecting members, decode inspected ldstr literals with independent coverage, and page retained member summaries. Call and field targets expose target_declaring_type and field_declaring_type, including supported generic method targets; unresolved metadata remains unknown. (#1706, #2125, issue morluto/rea#2121, #2162, issue morluto/rea#2158, #3061, issue morluto/rea#3010, #2163, issue morluto/rea#2160). Thanks @kaoru0822-kitauji, @N0zoM1z0, @Nelglor, @skoodster.
      • Packet captures: inspect saved packets with bounded TShark output, compact capture summaries and retained pages; discover installed protocol/field definitions. Recorded real-engine coverage uses Linux and Wireshark 4.6.6; native Windows/macOS and Bun behavior remain unverified. (#2318, #2340, [#2496](https://github.com/morluto/rea/pull/24
    5. rea-agents-6.4.0rea-agents: v6.4.02026-10-11 · 2026-10-11 03:58 UTC
      查看更新说明

      6.4.0 (2026-10-11)

      Highlights

      • Android: added device inspection, split-APK acquisition, logs, screenshots, file transfers and explicit app lifecycle actions through ADB, plus manifest and localized-string decoding with Apktool. (#1552, #1556) Thanks @3QL.
      • JEB: browse project units and decompile selected items through a caller-started local JEB MCP server. (#1536) Thanks @3QL.
      • Large analyses: discover retained Evidence without loading every payload, and inspect JavaScript graphs, binary layouts and function dossiers through summaries and selected views. (#1682, #1568, #1570, #1345, #1507, #1247) Thanks @jhuang-tw, @kaoru0822-kitauji, @N0zoM1z0.
      • JavaScript: isolate source analysis in an owned process with configurable heap and timeout limits; retain completed facts and explicit unknowns when analysis runs out of resources. (#1651, #1563, #1565) Thanks @N0zoM1z0, @peter-research.
      • Ghidra: configure import language/compiler specifications and seed functions, code and labels before auto-analysis. (#1667) Thanks @sqmagellan.
      • RPC discovery: recognize supported tRPC calls, HTTP-link URLs and named GraphQL operations in JavaScript applications and web bundles. (#1670) Thanks @pompiliodonatoapp.

      Changes

      • Added Ghidra support for Windows PE DLLs and bounded MIPS ELF analysis, including carved MIPS inputs with incomplete section tables. Windows P0 remains read-only. (#1303, #1362, #1629, #1290, #718, #1619) Thanks @bqw371, @jaelliot, @kvalls, @N0zoM1z0.
      • Enabled set_address_name and set_addresses_names for Ghidra sessions with mutation authority, including namespace-aware data labels and per-address batch results. (#1635, #1634) Thanks @giri256.
      • Recovered additional signed AArch64 relative jump-table patterns. (#1592) Thanks @RishTheFish21.
      • Added PE resource inspection and read-only NativeAOT metadata parsing for supported x64 PE32+/.NET 8 RTR 9.1 inputs. The NativeAOT parser’s Windows-host Ghidra workflow remains unverified on a real Windows host. (#1482, 76d8f68, #1254) Thanks @N0zoM1z0, @thangldw.
      • Added Pi, Hermes and Qwen Code setup, including Hermes active-profile support. (#1376, #1403, #1415, #1409) Thanks @rasatpetabit, @yiliang114, @zaydiscold.
      • Added REA_MCP_INPUT_SCHEMA_PROFILE=compact for size-capped MCP clients such as Kimi/Moonshot, while retaining canonical runtime validation. (#1514, #1580, #1484, [#1581](https://github.com/mor

    README 原文

    未翻译

    English · 简体中文 · 繁體中文 · 日本語 · 한국어 · Türkçe · Русский · Tiếng Việt · ไทย · Deutsch · Español · Français · Українська · Polski · Português (Brasil) · العربية · فارسی · Bahasa Indonesia · Italiano · Ελληνικά · മലയാളം · Roman Urdu · Română

    REA: Reverse Engineer Anything

    One MCP for reverse engineering across binaries, applications, and runtime behavior.

    See a feature you like. Understand how it works, down to the binary level.

    npm version MCP tool catalog Node.js requirements skills.sh MIT license Discord

    Website · Guides · Showcases

    Quick start · How REA works · What you can analyze · Showcases · Build RL environments · FAQ · Documentation

    npx rea-agents setup

    [!IMPORTANT] Get REA from morluto/rea, rea.tools, or the rea-agents npm package. Follow the installation and release links from these official sources. A similar repository name or copied README does not establish that a download is official.


    See a feature in an app that you want in your own product? Ask your agent to investigate it with REA. It can inspect the app without its source code, explain how the feature works, show the evidence, and build a version for your project.

    REA connects your agent to tools for inspecting native binaries, JavaScript and Electron apps, .NET assemblies, and websites. You can also use the same tools from your terminal. Analysis runs locally, and results include the evidence and limitations behind each conclusion.

    Setup registers REA with your agent and installs matching workflow instructions. Native analysis can use an existing Hopper, Ghidra, IDA or Kuna installation; setup can optionally install Hopper with approval. Static JavaScript analysis needs no native analysis engine.

    Visit the REA website for setup instructions, illustrated guides, and real case studies.

    Quick start

    On Linux, Ghidra, JADX, firmware tool launches and static JavaScript/Electron analysis require a procps-compatible ps on REA's PATH for process ownership checks. Recovery steps are in docs/getting-started/installation.md under "Linux owned-process prerequisite".

    Set up your agent

    With Node.js and npm installed, run:

    npx rea-agents setup
    

    Choose your agents, review the proposed changes, and approve them. Setup adds REA's MCP server and matching workflow instructions, with backups of existing configuration. Restart your agent afterward. Setup records the selected runtime and REA entry script directly. If acquired through a package runner, keep its cache entry available. Run package acquisition from a trusted directory outside the target project. Installation and recovery details are in the setup guide below.

    Setup supports Claude Code, Codex, Cursor, Gemini CLI, Grok Build and other agents. See installation and setup for provider configuration and manual MCP registration and Claude Code/Codex plugin installation.

    MCP uses compact input schemas by default to reduce context overhead. Set REA_MCP_INPUT_SCHEMA_PROFILE=full in your MCP registration when you need the complete advertised field guidance and nested validation details. Both profiles keep the full tool set and canonical server validation. See "Compact input schema profile" in the MCP contracts guide.

    Complete output schemas are advertised by default. If your client caps the complete tools/list frame, set REA_MCP_OUTPUT_SCHEMA_PROFILE=compact to bound each advertised output schema, or off to omit output schemas entirely. Both settings keep canonical server-side validation and complete structured results. See "Output schemas" in the MCP contracts guide.

    Ask your agent

    Understand how search works in the Notes app, show me the evidence, and build a
    similar feature for my project.
    

    Replace Notes with your target app and the feature you want to understand.

    Use the terminal

    Inspect an extracted JavaScript/Electron app directory or ASAR:

    npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json
    

    The result includes modules, imports, Electron boundaries and their evidence. Replace the path with your target, such as "D:/apps/example" on Windows.

    To install the rea command for regular use:

    npm install --global rea-agents
    rea --help
    

    For native analysis, configure a provider first. See the CLI and Evidence guide for native commands, provider selection, snapshots and scripting.

    Update REA

    REA changes quickly, and new releases include frequent bug fixes. Keep your installation up to date.

    For a CLI installed with npm install --global or bun add --global:

    rea update
    

    rea --update is an alias for this verified workflow and accepts the same global output flags. Use rea update when combining it with other command controls.

    Updater commands retain at most 4 MiB of stdout and stderr combined. Oversized metadata replies are rejected after the command exits; verbose installs continue with bounded diagnostics. Human progress output respects terminal backpressure and waits for submitted writes to finish.

    Bun global updates require Bun 1.2.17 or later. With an older Bun release, upgrade Bun manually before running rea update.

    To refresh your agent registrations and skill, run the setup command printed by the update.

    If you use npx, update your agent setup with:

    npx rea-agents@latest setup
    

    Review the setup changes and restart your agent. For one-off CLI commands, use npx rea-agents@latest followed by the command. With Bun, use bunx rea-agents@latest in place of npx rea-agents@latest.

    How REA works

    Your agent calls REA through MCP to inspect the target and trace relevant code. REA returns findings with their evidence. The agent uses them to ask follow-up questions, explain the behavior, or write and test an implementation. CLI commands use the same workflows.

    REA investigation flow: your agent asks about a local target, REA inspects and traces it using analysis tools, and the agent uses the returned code, references and unknowns to explain, implement and test.

    Open the full-size figure.

    What you can analyze

    REA requires Node.js 22.x (>=22.23.4), 24.x (>=24.22.1), or 26.12.1+, plus npm. Additional tools and host support depend on the target:

    TargetWhat REA returnsRequirements and guide
    Desktop installationsRuntime candidates, supporting files, component markers and next probesBuilt-in bounded directory/header inspection; desktop applications
    Native binariesPseudocode, assembly, strings, symbols, calls and referencesHopper, Ghidra, IDA or Kuna; native analysis
    Offline ELF layoutSections, segments, original symbols/relocations and static mitigation candidatesCaller-supplied pwntools on Linux x64; binary diagnostics
    Go binariesEmbedded compiler version, modules, replacements and build settingsBuilt-in static ELF/PE/thin Mach-O inspection; no Go installation required
    GPU code objectsCUDA/HIP targets, selected kernel parameters and resources, retained PTX textBuilt-in static ELF/PE/fatbin/CUBIN/PTX inspection; GPU code objects
    Model artifactsGGUF / safetensors metadata, tensor declarations and derived totalsBuilt-in header inspection; optional full-file hash; model files
    IL2CPP metadataUnity global-metadata.dat assembly images, type and method names and index rangesBuilt-in static decoding of versions 24, 27, 29, 31 and 39; no Unity required
    Godot PCKArchive inventory and extraction, original header/directory facts and selected content identitiesBuilt-in static formats 2, 3 and 4; no Godot required
    Rust binariesEmbedded cargo-auditable crate names, versions, sources and dependency edgesBuilt-in static ELF/PE/thin Mach-O inspection; Rust binaries
    PE certificatesAuthenticode WIN_CERTIFICATE entries and PKCS#7 signer/X.509 identity fieldsBuilt-in static PE inspection; PE certificates
    PE importsImport and delay-load DLL names, ordinals, IAT RVAs and pefile import hashBuilt-in static PE inspection; PE imports
    ELF notesPT_NOTE/SHT_NOTE owners, types, GNU build-id and ABI-tag fieldsBuilt-in static ELF inspection; ELF notes
    Binary hardeningPIE, NX, RELRO, CFG and related header flags for ELF, PE and Mach-OBuilt-in static header inspection; binary hardening
    Apple IPS crashes.ips metadata, threads, images, registers and documented crash classesBuilt-in static JSON inspection; Apple IPS
    Linux kernel modules.modinfo keys, __versions CRCs, this_module presence, and signature trailerBuilt-in static ELF inspection; kernel modules
    Erlang BEAMIFF chunks, atoms, exports, imports, lambdas and the Code headerBuilt-in static BEAM inspection; Erlang BEAM
    WASM artifactValidation, sections, exact import/export WAT forms and decoded WATCaller-supplied WABT 1.0.42; inspect_wasm_artifact
    EVM bytecodeDispatch selectors, byte offsets, inferred arguments and mutabilityLocal raw/hex carrier on Linux x64; offline EVM guide
    SQLite databasesTables, columns, indexes, views, triggers and selected ordinary-table rowsLocal database/WAL snapshot; Node.js 24.x >=24.15 or 26+ with native SQLite limits
    Recorded Linux crashesRaw notes, every recorded thread's registers/signals and optional mapping candidatesCaller-supplied pwntools on Linux x64; optional GDB/pwndbg; recorded crashes
    JavaScript / ElectronModules, imports, source maps, routes, IPC and native add-on relationshipsNode.js and npm; Linux: procps-compatible ps; application analysis
    WebsitesPage structure, scripts, network observations and requested screenshotsA Chrome-family browser; browser analysis
    Saved network capturesRequests, responses, exposed payloads and source locationsHAR or Fiddler Everywhere SAZ; mitmdump on Linux for native mitmproxy; capture guide
    .NET assembliesMetadata, CIL instructions, declared native dependencies and build comparisonsNone (static only); managed-code guide
    Android APKsManifest declarations, classes, decompiled methods and referencesHeadless JADX and a full JDK on Linux/macOS/Windows x64; Android guide
    APK signaturesv1/v2/v3/v3.1 signers, certificate fingerprints, key rotation and digest self-consistencyNone (static only); inspect_apk_signature
    Android devicesDevices, packages, processes, logs, dumps, screen captures, and APK/file transfersCaller-supplied adb (emulator or hardware); ADB guide
    JEB projectsEngine-backed project units, artifact digests and type/method pseudo-codeA caller-started JEB client serving MCP, selected with REA_JEB_MCP_URL; JEB guide
    Android resourcesDecoded manifest, string tables, locales and version factsCaller-supplied Apktool launcher; resource guide
    Flutter appsDart snapshot hash, per-ABI library digests and engine build provenanceNone (static APK parsing); Flutter guide
    FirmwareRegions, extraction results and native-analysis handoffsBinwalk / Unblob on Linux; firmware guide
    Recorded packetsSelected fields, repeated values, filters and decode-as rulesLinux: TShark 4.x + prlimit; capture guide
    Packet summariesEndpoints, DNS, TLS SNI, protocol distribution and HTTP requestsCaller-supplied tshark and capinfos (Linux-verified); pcap guide
    Recorded logic signalsDecoder annotations, sample ranges and diagnosticsLinux: sigrok-cli 0.7.2 + prlimit; signal recordings
    Packages and resourcesFile inventories, digests, plists, Apple bundle anatomy and extracted resourcesArtifact and JavaScript guide, Apple applications
    Process behaviorTerminal output, interactions, exit and filesystem observations, and run comparisonsLinux/macOS with a native PTY; process capture
    PyInstaller executablesCArchive members, Python version, entry scripts and extracted bytecodeNone (static only); Python packaged applications

    Static JavaScript and .NET inspection read the supplied files without running the application. Runtime capture runs or interacts with the selected target using your user permissions; each runtime guide describes its effects.

    For offline native-binary inspection, REA also supports caller-supplied GNU objdump and Rizin. See the reverse-engineering tools guide for provider setup, CLI commands, and Evidence limitations. REA does not install or update either provider.

    Native formats and host support vary by provider. See Hopper and Ghidra setup, the IDA guide (including an optional native MCP bridge), the Kuna decompiler guide, and experimental Windows Ghidra support. Ghidra also supports 16-bit DOS analysis. For large binaries, raise the provider's startup deadline with REA_GHIDRA_STARTUP_TIMEOUT_MS or REA_HOPPER_STARTUP_TIMEOUT_MS. For provider selection, see the CLI guide. Check release availability for features added since the latest npm release.

    Showcases

    DX-Ball: reconstruct a sound-pan calculation

    Follow a sound call into its position-to-pan helper, inspect the instructions, and turn incomplete pseudocode into C. The reconstruction passes 3,205 original-x86 cases and reproduces all 63 compiled function bytes.

    Read the case study · Reconstruction repository

    Notion: trace the Electron clipboard bridge

    Find the renderer's clipboard API, follow it through preload and IPC into the main process, and inspect the rich clipboard format.

    Read the case study

    TH04: recover a DOS bullet-ring calculation

    Inspect the original PC-98 game's 16-bit instructions, recover the fixed and aimed angle calculations, and compare the reconstructed C++ with the historical compiler output.

    Read the case study · Reconstruction repository

    Build RL environments with REA

    Record a web app session, turn its API into tools, and export an environment an AI agent can use. Run it with AgentEnv, then add tasks and reward checks for RL training or evaluation.

    Read the guide · Watch the video

    If you've used REA on something interesting, we'd love to see it. Share your case in an issue or a pull request, including the target, your question, how REA helped, and what you found.

    Build RL environments

    Give an AI agent a local environment to practice tasks such as finding an issue or creating a folder, without running the original app. Use it for reinforcement learning (RL) or to test how well an agent completes tasks.

    REA turns recorded API requests and responses into tools the agent can call. The environment uses the recorded data and supports changes only when the recording confirms their effects.

    With REA set up in your agent, replace the example URL and folder tasks below with your own:

    Use REA to build an RL environment from my test web app at
    http://127.0.0.1:3000.
    Cover listing, creating, renaming, and deleting folders. You may create and
    remove test folders. Leave existing data unchanged.
    Save it in a folder named my-env. Check which operations work and tell me
    how to run it.
    

    Use these commands if you already have a file containing the app’s recorded browser requests and responses. Running the result also requires AgentEnv and Docker.

    rea environment-build ./session.har ./my-env --name my-env --json
    agent-env run ./my-env
    

    REA exports a runnable environment with a basic test to check that it starts and responds. Use it with your RL framework to define task goals, add reward checks, and run training.

    Build an environment · Environment reference · Watch the demo on X

    FAQ

    Any agent that supports local MCP servers. Setup configures the supported agents; other clients can use manual MCP registration.

    Deep native analysis uses Hopper, Ghidra, IDA or Kuna, depending on the target and operation. Static JavaScript and .NET inspection work without a native analysis engine. Setup can install Hopper after approval; Ghidra, IDA and Kuna use your existing installations. See provider setup for the options and their supported targets.

    REA starts Hopper when an operation needs it. On macOS, a first-run dialog may ask you to choose demo mode or activate your license. Complete that prompt in the same user session before your first CLI/MCP operation or unattended job. Open Hopper manually if needed. See Hopper startup and troubleshooting.

    The skill supplies investigation instructions for your agent. Use npx rea-agents setup to register REA's MCP server and install the matching instructions, then restart your agent. See skill-only installation.

    Native analysis returns pseudocode and assembly. JavaScript/Electron analysis recovers modules and their relationships. Your agent uses these findings to write and test an implementation; the showcases give worked examples.

    REA analyzes targets locally. Your agent receives the tool results, and its model provider has its own data policy.

    Update first; a recent release may already fix it.

    For a CLI installed with npm install --global or bun add --global:

    rea update
    

    For agent setup through npx:

    npx rea-agents@latest setup
    

    If you're using an agent, complete the setup refresh and restart it. Retry the same task. If the problem persists, open an issue with your REA version, target type, steps to reproduce and error output.

    Documentation

    Start with the website's worked guides. For exact options, prerequisites and result contracts:

    Report vulnerabilities through SECURITY.md.

    Star history

    🎉 400,000 GitHub stars — thank you!

    Thanks to everyone using REA, reporting bugs, requesting features, testing builds, and contributing fixes.

    Disclaimer

    See DISCLAIMER.md for responsible-use guidance.

    The project's position on illegal or unauthorized use covers all REA versions, distribution channels, and platforms; each copy retains its applicable licenses.

    REA is for lawful research, education, interoperability, software preservation, and analysis of software you own or are authorized to examine.

    Contributing

    We'd love your help with REA! Open an issue to report a bug or suggest a feature, or send a pull request to improve the code or docs.

    See CONTRIBUTING.md for development setup and checks, testing for verification lanes, and the architecture map for selected layers and dependency paths.

    License

    MIT

    REA-authored code is licensed under MIT. Third-party material retains its own licenses and copyright notices; see Third-party notices for the dependency inventory, preserved license texts, and external-tool terms.

    You must legally obtain and be authorized to use commercial tools, including IDA Pro / Hex-Rays decompilers, Hopper, and JEB, under their applicable licenses. REA grants no tool license, key, or activation entitlement. Trials and demos remain subject to vendor terms, including user, feature, automation, and output sharing restrictions. Cracked copies, stolen keys, unauthorized key sharing, and bypassing license restrictions are not authorized. This guidance does not amend MIT or third-party licenses.