REA separates installing its CLI from configuring external software and agents.
The recommended setup entrypoint is:
npx --yes rea-agents@latest setupIf npm asks to download and run the package, that approval applies only to the current package-runner invocation. REA still prints its own setup plan and asks for separate approval before changing agent configuration or installing a product-owned component.
The explicit @latest request prevents a project dependency or stale npx cache
entry from choosing the setup version.
REA runs the version npm selected and never silently replaces an intentional
version request after launch. To repair registrations written by an older
release, rerun the command above and review the resulting setup plan.
For an intentional rollback, make the package request explicit:
npm exec --yes --package=rea-agents@2.4.0 -- rea setupSetup continues to pin persistent MCP registrations to the exact version that performed setup. Running current setup later migrates unversioned or older managed registrations through the normal reviewed setup transaction.
REA supports Node.js 22.19+ and 24.11+ (including newer releases). It uses the npm already paired with that runtime and never upgrades Node.js, npm, or Homebrew.
Running npm install rea-agents without --global installs the executable only
in the current project's node_modules/.bin; it does not make rea available
on the shell PATH. Use the explicit setup command above for the guided setup
journey, npx -y rea-agents@latest for unattended one-off commands, or install globally
with npm install --global rea-agents for a shell-visible rea command.
The optional curl wrapper installs only the global npm package:
curl -fsSL https://raw.githubusercontent.com/morluto/rea/main/install.sh | bashIt prints the version, runtime, npm command, and destination before installing. When a controlling terminal exists it starts rea setup; otherwise it prints the command to run later.
Pass options with bash -s --:
curl -fsSL https://raw.githubusercontent.com/morluto/rea/main/install.sh |
bash -s -- --dry-runSupported options are --version <semver>, --dry-run, --no-setup, --no-prompt, and --verbose. Neither --no-prompt nor a non-interactive shell grants permission to install external dependencies.
rea setup uses an inline, scroll-preserving journey inspired by the clarity of
PostHog's CLI wizard. It begins with the outcome instead of the installer
mechanics:
- investigate local applications from a supported agent;
- recover evidence through an available deep-analysis provider;
- use the bundled skill for a repeatable investigation workflow.
REA then summarizes the detected clients and asks which capabilities to set up.
The capability picker pre-selects Agent integration (the MCP registration and
matching guided workflow together) when detected agents exist, and presents the
optional Hopper provider alongside it. Selecting agent integration opens a second
checklist for the exact detected agents that should receive a registration; all
detected agents are pre-selected. Detection provides context and pre-selection;
it does not authorize a configuration write until the user confirms.
Because the user has explicitly invoked rea setup, the wizard biases toward the
happy path: capabilities and agents are pre-selected, and the final approval
defaults to Yes. The user can still deselect any item or cancel at any prompt.
Choosing no capabilities exits without changes. Selecting agent integration
always includes the bundled skill, even if all agents are deselected. The picker
keeps its navigation, selection, confirmation, and cancellation keys visible
instead of relying on a transient hint.
Every selected path converges on the same exact preflight. REA validates the current state, prints the proposed effects, and asks for final approval with Yes as the default. Selection alone never authorizes a mutation. The plan identifies:
- an existing Hopper installation, a validated bring-your-own Ghidra environment, or the official Hopper package it proposes to install;
- each detected agent configuration path;
- the REA skill destination;
- external software, network origins, integrity evidence, and package-manager commands.
Malformed or unsafe existing configuration blocks the whole transaction before Hopper installation or any file write. Declining, pressing Ctrl-C, or selecting nothing makes no changes. Agent configuration writes preserve unrelated entries, create backups, use atomic replacement, and verify their result.
Progress remains append-only so completed and failed operations stay visible in terminal history. After a successful run, the completion message names the verified capabilities now available—for example configured MCP clients, the selected analysis provider, and the installed skill—and gives the corresponding next action. When an agent must restart to load its registration, REA says so; otherwise it suggests beginning an investigation. It does not advertise a capability that the final diagnostic check did not verify.
Select exact clients in scripts with repeatable --client flags, or retain
automatic discovery explicitly with --all-detected. Use --skill=false to
override the normal bundled-skill installation and --dry-run for a read-only
plan:
rea setup --client codex --client cursor --skill=false --dry-runPrompt UI and progress are written to stderr so stdout remains available for
structured results and pipelines. NO_COLOR=1 disables color. Use
--accessible for sequential, vertically rendered yes/no prompts.
For automation, rea setup --json reports the plan without applying it.
Prefer pairing --yes with explicit scope such as --client codex,
or --all-detected. Legacy unscoped --yes remains compatible for
this release but emits a deprecation warning. Installing missing Hopper
non-interactively additionally requires --install-hopper:
rea setup --yes --all-detected --install-hopper --jsonSetup pins package-runner MCP registrations to the exact installed REA version,
installs the matching skill and on-demand references in the same plan, and adds
startup_timeout_sec = 30 for Codex. Interactive rea upgrade installs the new
executable and then opens the updated rea setup --all-detected plan for
separate approval. Structured or non-TTY upgrades defer that integration sync.
Use the same setup command to migrate floating, unversioned, or stale
registrations, then restart changed clients.
Hopper is separate commercial software with its own license. Its free demo has vendor-defined limits, and a paid license is optional. REA reuses any detected installation and preserves Hopper during uninstall.
On macOS, approved setup downloads the official DMG, checks its published size
and digest, validates the application bundle, and atomically installs it to
~/Applications/Hopper Disassembler.app. REA then opens Hopper so the
operator can choose its demo mode or activate an existing license. Homebrew and
administrator access are not used.
On supported Linux distributions, approved setup verifies Hopper's official
.deb, .rpm, or Arch package before invoking the native package manager.
REA runs the supported demo build on a private Xvfb display and selects Hopper's
offered demo mode for each analysis session; it does not require the user's
desktop display. Unattended package-manager access requires
--yes --install-hopper. If the host exposes /tmp/.X11-unix as an immutable
mount, REA first verifies the conflict and then uses an unprivileged user and
mount namespace with a private mode-1777 tmpfs over that directory only. The
host mount and the rest of /tmp remain unchanged; this fallback never invokes
sudo. rea doctor --provider hopper --detail full --json reports the selected
strategy and both host and effective mount facts.
REA's unattended Linux path is validated against Hopper's offered demo mode. A paid license is not required for that path, and REA does not read, install, or automate license credentials. Licensed Hopper installations remain supported, but license activation is an operator-owned prerequisite rather than part of REA setup.
macOS requires Hopper's first-run UI to be completed in the same user session that will run REA: choose the demo mode or activate an existing license before starting an unattended job. Ephemeral macOS runners therefore need a pre-provisioned user session or a deliberate interactive bootstrap step.
When Hopper cannot start in CI, run
rea doctor --provider hopper --detail full --json in the failing runner.
Structured failures distinguish private-display dependencies, an unsupported
demo dialog or build, process-ownership conflicts, and an early lifecycle exit.
Apply the reported remediation rather than exposing the runner's desktop,
copying license secrets into logs, or killing unrelated Hopper processes.
REA's Ghidra provider is bring-your-own and supports Linux x64 with the exact official Ghidra 12.1.2 release and a 64-bit full JDK 21. An experimental Windows x64 P0 supports approved native x86-64 PE applications. It supplies discovery, analysis-profile commitment, an isolated read-only headless session, ten bounded inventory/name/search operations, and nine function-analysis operations covering metadata, decompilation, assembly, resolved calls, typed references, xrefs, CFG, and dossiers. GUI state and analysis mutations remain unavailable through Ghidra.
Extract Ghidra and install the JDK outside REA, then export absolute paths:
export GHIDRA_INSTALL_DIR=/absolute/path/to/ghidra_12.1.2_PUBLIC
export JAVA_HOME=/absolute/path/to/jdk-21 # optional if java/javac are on PATH
rea doctor --json
rea setupPowerShell configuration for Windows uses the same non-secret paths:
$env:GHIDRA_INSTALL_DIR = "C:\tools\ghidra_12.1.2_PUBLIC"
$env:JAVA_HOME = "C:\Program Files\Java\jdk-21"
rea doctor --json
rea providers --jsonrea setup does not mutate Windows client configuration or install Hopper,
Ghidra, Java, Python, or another package. Register the built rea mcp command
manually in the intended client and preserve the two environment variables.
See Windows Ghidra P0 for a complete example.
Doctor validates the platform, architecture, application version,
support/analyzeHeadless or support/analyzeHeadless.bat, Java
version/bitness, and the presence of javac/javac.exe.
When Java is found through PATH, setup records its observed JDK home so GUI
MCP clients do not depend on an incidental shell path. Setup shows every exact
environment entry in its plan, writes only after approval, and never downloads,
installs, upgrades, or modifies Ghidra or Java.
Each verified session uses an ephemeral temporary project and isolated
home/cache/config/temp paths. REA passes -readOnly, -deleteProject, a
per-file analysis timeout, CPU and heap bounds, and its packaged Java bridge via
-scriptPath; it never opens an existing user project. Linux uses a
current-user-only local bridge socket and descriptor. Windows P0 uses
token-authenticated IPv4 loopback, a token-free endpoint record, and bounded
process-tree termination. It does not yet prove private DACL,
reparse-point-safe, or Job Object semantics; use only approved non-sensitive
fixtures.
Operations begin only after default auto-analysis completes. A timeout fails
the open rather than exposing partial analysis. One session contains exactly
one imported Program; use provider_id: "ghidra", --provider ghidra, or
REA_ANALYSIS_PROVIDER=ghidra when both Hopper and Ghidra support the target.
One persistent decompiler is owned by the Program, Ghidra API calls cross a
bounded 32-request serial queue, and each native decompile is limited to 30
seconds. Unresolved computed calls remain unknown, reference-kind provenance is
preserved, and provider-specific pseudocode is never treated as original source
or Hopper-equivalent text.
Run GHIDRA_INSTALL_DIR=... npm run verify:ghidra from a source checkout to
compile and analyze source-owned x86-64 debug/stripped ELF, AArch64 ELF,
x86-64 PE, and x86-64 Mach-O conformance fixtures. The verifier expects cc,
clang, and lld-link on PATH; REA_CC, REA_CLANG, and REA_LLD_LINK can
select alternate command paths.
On a controlled Windows x64 runner, use
npm run verify:ghidra:windows. The verifier generates a deterministic native
PE fixture from source bytes, exercises every admitted Ghidra operation, checks
target/snapshot/import digest identity, and requires complete runtime cleanup.
rea doctor --json is strictly read-only. rea upgrade updates only the npm installation that owns the running CLI. rea uninstall removes only REA-owned agent registrations and skill files; --purge-data additionally removes REA cache and state paths.
REA is published in the official MCP Registry as io.github.morluto/rea. Registry
clients can discover the server and install the existing public rea-agents npm
package; the Registry entry does not introduce a second distribution artifact.
For a client that supports Registry discovery, search for io.github.morluto/rea
and select the npm package. The published metadata launches the existing stdio
server through npx with the mcp command.
For a client that requires manual configuration, use:
{
"mcpServers": {
"rea": {
"command": "npx",
"args": ["-y", "rea-agents@latest", "mcp"]
}
}
}Use an exact rea-agents@VERSION in the arguments when a reproducible client
configuration is required. rea setup writes the same package-runner shape and
pins it to the exact version that performed setup.