Inspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.
✳︎ Solving a CTF flag checker
└─ Make every conversation easier
Real cases of what people did with REA (Reverse Engineer Anything), the open-source MCP server for reverse engineering, each with its original source.
43 casesInspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.
Traces a page-facing API in Notion's packaged JavaScript through its IPC wrappers to the system clipboard and shows how an HTML marker links rich block data to a copy.
One sponsored card rotates in after every 6 projects
Advertise hereAn essay on rebuilding three Touhou games with agents: what verification looks like, where agents help, and how knowledge carries from one project to the next.
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).

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.

One sponsored card rotates in after every 6 projects
Advertise here