Recently added

Combines a frozen live-debugging core with REA-style static analysis domains behind a single MCP server of 81 tools.

An open-source implementation of Google's Quick Share protocol for Linux, built by studying the Nearby connections with AI help so Linux can send files to Android.

A teaching guide for finding where a feature lives in an Electron-style app: from the visible UI through the process boundary to the code that does the work.

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

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

A show-and-tell thread on keeping token use down in REA workflows and what other people are using.

Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.

Nix packaging of REA with pinned npm integrity, Ghidra digests and offline loader tests, part of a personal NixOS configuration.

Explains the familiar percent-key quirk and checks the explanation against the public, open-source Calculator code.

Practice code for a Korean online book that walks from analysing software with an agent to rebuilding a feature.

Reverses the Bluetooth protocol that a smart toilet's WeChat mini-program speaks and builds a menu-bar remote with REA and Codex (original X post not linked from the showcase).

How to run REA with local models on a single 12 GB GPU, and how five models compared.