GitHub リポジトリ

Windows 上で AI エージェントによるリバースエンジニアリング：rea と Ghidra を用いて、エージェントが使うツールを検証・計測・可視化する

REAで構築された事例を多言語で毎日更新するランキング。

A Rust and Bevy clean-room port that loads assets from your own Steam install.

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.

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

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

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.

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.

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.

バイナリ、アプリ、Webバンドル向けの依存関係不要の静的アナライザー。コンパクトなMCPサーバー、CLI、Web UIを備えています。

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.