GitHub 저장소

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

페이지 지정 가능한 증거를 갖춘 로컬 MCP 서버 및 CLI로, 동일한 아이디어를 독립적으로 Python으로 구현한 것입니다.

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 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로 표현하고 형식적으로 검증한다. 업스트림 프로젝트에서 파생되었으며 그에 따라 라이선스된다.

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.

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.

Uses REA-style evidence to investigate and audit ComfyUI workflows without modifying them.

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.

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.