Tools & integrations

Practical setup notes for running REA on Fedora-based Linux, with the problems hit along the way and a queue of tests.

Nix packaging of REA with pinned npm integrity, Ghidra digests and offline loader tests, part of a personal NixOS configuration.

An auto-updated gallery that collects official case studies, community projects and discussions about REA, always linking to the originals.

A show-and-tell thread on keeping token use down in REA workflows and what other people are using.

A teaching guide in French on analysing apps and binaries with a coding agent through MCP and the CLI, with Hopper or Ghidra and a section on the legal framing.

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

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

A third-party adapter that registers REA's MCP server inside DeepSeek Harness so its mcp__rea__* tools work there; analysis stays upstream.

A Windows lab that pins tool versions, runs health checks and seeds small challenges so you can measure what REA and Ghidra actually give an agent.

A Chinese-language technical survey of how REA lets a coding agent analyse software without its source code.

A Homebrew formula that installs rea-agents as an alternative to npx.

A local MCP server and CLI with pageable evidence, written as an independent Python take on the same idea.