投票の多い事例

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 auto-updated gallery that collects official case studies, community projects and discussions about REA, always linking to the originals.

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 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 local MCP server and CLI with pageable evidence, written as an independent Python take on the same idea.

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

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 third-party adapter that registers REA's MCP server inside DeepSeek Harness so its mcp__rea__* tools work there; analysis stays upstream.

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.

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