事例

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

ページング可能な証拠を備えたローカルMCPサーバーとCLI。同じアイデアに対する独立したPythonによる実装として書かれた。

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.

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.

REA のアイデアをバイナリの先へと拡張する実験：x86 から挙動を復元し、それを VHDL として表現し、形式的に検証する。上流プロジェクトから派生し、それに応じたライセンスの下で提供される。

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.

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.

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).

An adapter MCP server that connects REA's legacy IDA tool profile to IDA Free 9.x on aarch64.

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.

Follows the six-digit code calculation of the open-source Aegis authenticator through its released Android APK, and uses a demo clock to show why the code changes every 30 seconds.

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