Recently added

A small MCP bridge that exposes 21 curated REA tools to MCP hosts and keeps a CLI escape hatch for everything else.

Follow-along exercises from a Korean video: build your own small Electron app and C program, then analyse them with REA, Ghidra and Claude Code.

A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.

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

A hands-on teaching playbook using a minimal Electron target: extract evidence with file and line references, probe the MCP server and recreate the feature.

Notes and scripts from studying how a telescope controller's firmware is built: its INDI-based stack, plain JSON-RPC on port 4700 and the three hardware generations; no vendor firmware is included.

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.

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.

An agent analysed only the shipped Windows binary of an open-source puzzle game, wrote its findings, froze them, rebuilt the game as a web page and was graded against the real source (52 of 54 claims correct).

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

A Claude Code mod that keeps a casebook of the evidence REA returns and requires every finding to cite a real evidence id, with Markdown export.

Ten bounded studies of released open-source components (Monaco, Grafana, n8n, Excalidraw, Joplin, Node-RED, KeePass, 7-Zip, restic, rclone), each with evidence, an independent reconstruction and thousands of differential checks.