{"license":"Metadata is provided for discovery with attribution to REA MCP and original sources. Code, images and original content remain subject to their authors' licenses; inclusion grants no rights to reuse them.","total":43,"page":1,"perPage":100,"totalPages":1,"next":null,"items":[{"id":"1e12cbf7eca64a13a0e4e7f8","slug":"rea-plus-live-debugging-and-static-analysis-behind-one-mcp-1e12cb","title":"Rea Plus: live debugging and static analysis behind one MCP","summary":"Combines a frozen live-debugging core with REA-style static analysis domains behind a single MCP server of 81 tools.","url":"https://reamcp.dev/en/cases/rea-plus-live-debugging-and-static-analysis-behind-one-mcp-1e12cb","markdownUrl":"https://reamcp.dev/en/cases/rea-plus-live-debugging-and-static-analysis-behind-one-mcp-1e12cb.md","sourceUrl":"https://github.com/Alyhnte/ReaPlus","sourceType":"github","author":{"name":"Alyhnte","handle":"Alyhnte"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.271Z","updatedAt":"2026-10-12T23:14:39Z"},{"id":"a9ea24cdb6bb25681f65a7c2","slug":"rea-unary-from-x86-behaviour-to-vhdl-and-formal-verification-a9ea24","title":"rea-unary: from x86 behaviour to VHDL and formal verification","summary":"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.","url":"https://reamcp.dev/en/cases/rea-unary-from-x86-behaviour-to-vhdl-and-formal-verification-a9ea24","markdownUrl":"https://reamcp.dev/en/cases/rea-unary-from-x86-behaviour-to-vhdl-and-formal-verification-a9ea24.md","sourceUrl":"https://github.com/AHMADALIPARR/rea-unary","sourceType":"github","author":{"name":"AHMADALIPARR","handle":"AHMADALIPARR"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.269Z","updatedAt":"2026-10-10T18:43:15Z"},{"id":"da365b299e3901c7b197565a","slug":"rea-writeups-da365b","title":"REA writeups","summary":"Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.","url":"https://reamcp.dev/en/cases/rea-writeups-da365b","markdownUrl":"https://reamcp.dev/en/cases/rea-writeups-da365b.md","sourceUrl":"https://github.com/Gideon145/rea-writeups","sourceType":"github","author":{"name":"Gideon145","handle":"Gideon145"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.267Z","updatedAt":"2026-10-12T16:22:56Z"},{"id":"ab553f5f24beb252f63b9945","slug":"rea-tutorial-korean-from-reverse-analysis-to-re-implementing-ab553f","title":"REA tutorial (Korean): from reverse analysis to re-implementing a feature","summary":"Practice code for a Korean online book that walks from analysing software with an agent to rebuilding a feature.","url":"https://reamcp.dev/en/cases/rea-tutorial-korean-from-reverse-analysis-to-re-implementing-ab553f","markdownUrl":"https://reamcp.dev/en/cases/rea-tutorial-korean-from-reverse-analysis-to-re-implementing-ab553f.md","sourceUrl":"https://github.com/ady95/rea-tutorial","sourceType":"github","author":{"name":"ady95","handle":"ady95"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.265Z","updatedAt":"2026-10-12T23:42:26Z"},{"id":"6fffb6e2d80252f8aa48e27a","slug":"qshare-linux-quick-share-for-linux-6fffb6","title":"QShare-linux: Quick Share for Linux","summary":"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.","url":"https://reamcp.dev/en/cases/qshare-linux-quick-share-for-linux-6fffb6","markdownUrl":"https://reamcp.dev/en/cases/qshare-linux-quick-share-for-linux-6fffb6.md","sourceUrl":"https://github.com/adityatr64/QShare-linux","sourceType":"github","author":{"name":"adityatr64","handle":"adityatr64"},"categories":["formats-protocols"],"category":"formats-protocols","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.263Z","updatedAt":"2026-10-12T14:24:45Z"},{"id":"abf706007a25185d2833d3a7","slug":"install-rea-agents-from-a-community-homebrew-tap-abf706","title":"Install rea-agents from a community Homebrew tap","summary":"A Homebrew formula that installs rea-agents as an alternative to npx.","url":"https://reamcp.dev/en/cases/install-rea-agents-from-a-community-homebrew-tap-abf706","markdownUrl":"https://reamcp.dev/en/cases/install-rea-agents-from-a-community-homebrew-tap-abf706.md","sourceUrl":"https://github.com/moonfruit/homebrew-tap","sourceType":"github","author":{"name":"moonfruit","handle":"moonfruit"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":3,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.261Z","updatedAt":"2026-10-12T17:00:21Z"},{"id":"4ee8f50844c8a28f399e9d6d","slug":"packaging-rea-for-nixos-4ee8f5","title":"Packaging REA for NixOS","summary":"Nix packaging of REA with pinned npm integrity, Ghidra digests and offline loader tests, part of a personal NixOS configuration.","url":"https://reamcp.dev/en/cases/packaging-rea-for-nixos-4ee8f5","markdownUrl":"https://reamcp.dev/en/cases/packaging-rea-for-nixos-4ee8f5.md","sourceUrl":"https://github.com/yzua/nixos-config","sourceType":"github","author":{"name":"yzua","handle":"yzua"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":13,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.259Z","updatedAt":"2026-10-12T19:27:01Z"},{"id":"c1a26ffd3bcd927554e2540d","slug":"a-status-bar-remote-for-a-bluetooth-toilet-from-its-wechat-m-c1a26f","title":"A status-bar remote for a Bluetooth toilet, from its WeChat mini-program","summary":"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).","url":"https://reamcp.dev/en/cases/a-status-bar-remote-for-a-bluetooth-toilet-from-its-wechat-m-c1a26f","markdownUrl":"https://reamcp.dev/en/cases/a-status-bar-remote-for-a-bluetooth-toilet-from-its-wechat-m-c1a26f.md","sourceUrl":"https://rea.run/showcase/thinkszyg-toilet-ble","sourceType":"website","author":{"name":"@thinkszyg","handle":"@thinkszyg"},"categories":["formats-protocols"],"category":"formats-protocols","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.257Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"c0bea474a0de781437b5402a","slug":"a-first-investigation-across-the-ui-and-process-boundary-c0bea4","title":"A first investigation across the UI and process boundary","summary":"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.","url":"https://reamcp.dev/en/cases/a-first-investigation-across-the-ui-and-process-boundary-c0bea4","markdownUrl":"https://reamcp.dev/en/cases/a-first-investigation-across-the-ui-and-process-boundary-c0bea4.md","sourceUrl":"https://rea.run/showcase/notes-first-investigation","sourceType":"website","author":{"name":"REA community","handle":"REA community"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.256Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"d80c96ab71ade8feafee8a05","slug":"why-does-200-10-give-220-in-windows-calculator-d80c96","title":"Why does 200 + 10% give 220 in Windows Calculator?","summary":"Explains the familiar percent-key quirk and checks the explanation against the public, open-source Calculator code.","url":"https://reamcp.dev/en/cases/why-does-200-10-give-220-in-windows-calculator-d80c96","markdownUrl":"https://reamcp.dev/en/cases/why-does-200-10-give-220-in-windows-calculator-d80c96.md","sourceUrl":"https://rea.run/showcase/windows-calculator-percent","sourceType":"website","author":{"name":"REA community","handle":"REA community"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.255Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"d686875208d0d46877b8e149","slug":"reducing-token-waste-in-rea-workflows-d68687","title":"Reducing token waste in REA workflows","summary":"A show-and-tell thread on keeping token use down in REA workflows and what other people are using.","url":"https://reamcp.dev/en/cases/reducing-token-waste-in-rea-workflows-d68687","markdownUrl":"https://reamcp.dev/en/cases/reducing-token-waste-in-rea-workflows-d68687.md","sourceUrl":"https://github.com/morluto/rea/discussions/1958","sourceType":"github","author":{"name":"jaelliot","handle":"jaelliot"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":156486,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.254Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"cae48af5fd0896715ffc4b3c","slug":"my-local-model-setup-for-rea-on-linux-one-12-gb-gpu-cae48a","title":"My local model setup for REA on Linux (one 12 GB GPU)","summary":"How to run REA with local models on a single 12 GB GPU, and how five models compared.","url":"https://reamcp.dev/en/cases/my-local-model-setup-for-rea-on-linux-one-12-gb-gpu-cae48a","markdownUrl":"https://reamcp.dev/en/cases/my-local-model-setup-for-rea-on-linux-one-12-gb-gpu-cae48a.md","sourceUrl":"https://github.com/morluto/rea/discussions/2006","sourceType":"github","author":{"name":"CassieFox23","handle":"CassieFox23"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":156486,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.252Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"2226bd256eb271502cc522a0","slug":"benchmarks-rea-on-linux-across-node-versions-and-five-local--2226bd","title":"Benchmarks: REA on Linux across Node versions and five local models","summary":"Start-up timings of REA on Node 22, 24 and 26 on Linux, plus a comparison of five local models.","url":"https://reamcp.dev/en/cases/benchmarks-rea-on-linux-across-node-versions-and-five-local--2226bd","markdownUrl":"https://reamcp.dev/en/cases/benchmarks-rea-on-linux-across-node-versions-and-five-local--2226bd.md","sourceUrl":"https://github.com/morluto/rea/discussions/1998","sourceType":"github","author":{"name":"CassieFox23","handle":"CassieFox23"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":156482,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.251Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"e0ca9a71c343fece9fd69884","slug":"rea-on-fedora-based-linux-setup-notes-and-gotchas-e0ca9a","title":"REA on Fedora-based Linux: setup notes and gotchas","summary":"Practical setup notes for running REA on Fedora-based Linux, with the problems hit along the way and a queue of tests.","url":"https://reamcp.dev/en/cases/rea-on-fedora-based-linux-setup-notes-and-gotchas-e0ca9a","markdownUrl":"https://reamcp.dev/en/cases/rea-on-fedora-based-linux-setup-notes-and-gotchas-e0ca9a.md","sourceUrl":"https://github.com/morluto/rea/discussions/1435","sourceType":"github","author":{"name":"CassieFox23","handle":"CassieFox23"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":156486,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.249Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"6cc58d2ddd0d84e8a4b2561e","slug":"a-stripped-bzip2-build-what-rea-returned-checked-against-the-6cc58d","title":"A stripped bzip2 build: what REA returned, checked against the source","summary":"Asks REA which function prints one message in a stripped, optimised bzip2 binary; the answer and 24 callees matched an unstripped build and the source, and the post lists what this does not prove.","url":"https://reamcp.dev/en/cases/a-stripped-bzip2-build-what-rea-returned-checked-against-the-6cc58d","markdownUrl":"https://reamcp.dev/en/cases/a-stripped-bzip2-build-what-rea-returned-checked-against-the-6cc58d.md","sourceUrl":"https://github.com/morluto/rea/discussions/2254","sourceType":"github","author":{"name":"CassieFox23","handle":"CassieFox23"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":156483,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.242Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"825575348e72579a20bd6815","slug":"outside-in-leak-check-of-a-production-next-js-and-stripe-app-825575","title":"Outside-in leak check of a production Next.js and Stripe app","summary":"A black-box audit of the author's own portal: what can an anonymous visitor see, and what does the app leak, checked with REA from the outside.","url":"https://reamcp.dev/en/cases/outside-in-leak-check-of-a-production-next-js-and-stripe-app-825575","markdownUrl":"https://reamcp.dev/en/cases/outside-in-leak-check-of-a-production-next-js-and-stripe-app-825575.md","sourceUrl":"https://github.com/morluto/rea/discussions/1406","sourceType":"github","author":{"name":"gold567200","handle":"gold567200"},"categories":["security-defense"],"category":"security-defense","tags":[],"stars":156484,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.241Z","updatedAt":"2026-10-13T00:26:30Z"},{"id":"577e54795625a544674de647","slug":"openbattlefield2-a-clean-room-engine-reimplementation-577e54","title":"OpenBattlefield2: a clean-room engine reimplementation","summary":"A C++20 clean-room reimplementation of the Refractor 2 engine behind Battlefield 2, an engine rather than a game; no game content is redistributed and there is no anti-cheat.","url":"https://reamcp.dev/en/cases/openbattlefield2-a-clean-room-engine-reimplementation-577e54","markdownUrl":"https://reamcp.dev/en/cases/openbattlefield2-a-clean-room-engine-reimplementation-577e54.md","sourceUrl":"https://github.com/Moxnatiy/OpenBattlefield2","sourceType":"github","author":{"name":"Moxnatiy","handle":"Moxnatiy"},"categories":["game-interop"],"category":"game-interop","tags":[],"stars":41,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.239Z","updatedAt":"2026-10-09T20:22:21Z"},{"id":"9315b2181c4dc0ee0bbcb5f1","slug":"hexvero-zero-dependency-static-analysis-with-an-mcp-server-9315b2","title":"hexvero: zero-dependency static analysis with an MCP server","summary":"A dependency-free static analyser for binaries, apps and web bundles with a compact MCP server, CLI and web UI.","url":"https://reamcp.dev/en/cases/hexvero-zero-dependency-static-analysis-with-an-mcp-server-9315b2","markdownUrl":"https://reamcp.dev/en/cases/hexvero-zero-dependency-static-analysis-with-an-mcp-server-9315b2.md","sourceUrl":"https://github.com/maximilianfeix/hexvero","sourceType":"github","author":{"name":"maximilianfeix","handle":"maximilianfeix"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.238Z","updatedAt":"2026-10-12T22:42:34Z"},{"id":"110773d4f978023a69b6ac66","slug":"cleanroom-a-python-reimplementation-of-rea-110773","title":"CleanRoom: a Python reimplementation of REA","summary":"A local MCP server and CLI with pageable evidence, written as an independent Python take on the same idea.","url":"https://reamcp.dev/en/cases/cleanroom-a-python-reimplementation-of-rea-110773","markdownUrl":"https://reamcp.dev/en/cases/cleanroom-a-python-reimplementation-of-rea-110773.md","sourceUrl":"https://github.com/Sage-is/CleanRoom","sourceType":"github","author":{"name":"Sage-is","handle":"Sage-is"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.236Z","updatedAt":"2026-10-11T00:54:56Z"},{"id":"7b4cccd925cc0be8abdad7e4","slug":"rea-awesome-what-the-world-builds-with-rea-7b4ccc","title":"rea-awesome: what the world builds with REA","summary":"A multilingual, daily-updated ranking of cases built with REA.","url":"https://reamcp.dev/en/cases/rea-awesome-what-the-world-builds-with-rea-7b4ccc","markdownUrl":"https://reamcp.dev/en/cases/rea-awesome-what-the-world-builds-with-rea-7b4ccc.md","sourceUrl":"https://github.com/miles990/rea-awesome","sourceType":"github","author":{"name":"miles990","handle":"miles990"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.222Z","updatedAt":"2026-10-13T00:29:20Z"},{"id":"727ba4b5d803dd5f1f94a27d","slug":"rea-gems-a-daily-updated-gallery-of-rea-cases-727ba4","title":"REA Gems: a daily-updated gallery of REA cases","summary":"An auto-updated gallery that collects official case studies, community projects and discussions about REA, always linking to the originals.","url":"https://reamcp.dev/en/cases/rea-gems-a-daily-updated-gallery-of-rea-cases-727ba4","markdownUrl":"https://reamcp.dev/en/cases/rea-gems-a-daily-updated-gallery-of-rea-cases-727ba4.md","sourceUrl":"https://github.com/sqwu/rea-gems","sourceType":"github","author":{"name":"sqwu","handle":"sqwu"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":2,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.220Z","updatedAt":"2026-10-12T15:29:50Z"},{"id":"b8ade86cac30f1504bac55bc","slug":"tracebrief-evidence-first-reverse-engineering-reports-b8ade8","title":"TraceBrief: evidence-first reverse-engineering reports","summary":"Turns REA evidence bundles into structured, evidence-first reports.","url":"https://reamcp.dev/en/cases/tracebrief-evidence-first-reverse-engineering-reports-b8ade8","markdownUrl":"https://reamcp.dev/en/cases/tracebrief-evidence-first-reverse-engineering-reports-b8ade8.md","sourceUrl":"https://github.com/dany331x/tracebrief","sourceType":"github","author":{"name":"dany331x","handle":"dany331x"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.219Z","updatedAt":"2026-10-09T00:13:12Z"},{"id":"485980bf3df78b4597b8e87b","slug":"rea-comfyui-bridge-read-only-comfyui-workflow-audits-485980","title":"rea-comfyui-bridge: read-only ComfyUI workflow audits","summary":"Uses REA-style evidence to investigate and audit ComfyUI workflows without modifying them.","url":"https://reamcp.dev/en/cases/rea-comfyui-bridge-read-only-comfyui-workflow-audits-485980","markdownUrl":"https://reamcp.dev/en/cases/rea-comfyui-bridge-read-only-comfyui-workflow-audits-485980.md","sourceUrl":"https://github.com/chengyansen-ai/rea-comfyui-bridge","sourceType":"github","author":{"name":"chengyansen-ai","handle":"chengyansen-ai"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.217Z","updatedAt":"2026-10-12T12:54:43Z"},{"id":"305b756ddf40f8e6a346c6ae","slug":"rea-ida-adapter-rea-with-ida-free-305b75","title":"rea-ida-adapter: REA with IDA Free","summary":"An adapter MCP server that connects REA's legacy IDA tool profile to IDA Free 9.x on aarch64.","url":"https://reamcp.dev/en/cases/rea-ida-adapter-rea-with-ida-free-305b75","markdownUrl":"https://reamcp.dev/en/cases/rea-ida-adapter-rea-with-ida-free-305b75.md","sourceUrl":"https://github.com/akbar-npj/rea-ida-adapter","sourceType":"github","author":{"name":"akbar-npj","handle":"akbar-npj"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.215Z","updatedAt":"2026-10-11T11:27:44Z"},{"id":"c9ae083a1d21fad236706876","slug":"dsh-mcp-rea-a-thin-mcp-face-for-rea-c9ae08","title":"dsh-mcp-rea: a thin MCP face for REA","summary":"A small MCP bridge that exposes 21 curated REA tools to MCP hosts and keeps a CLI escape hatch for everything else.","url":"https://reamcp.dev/en/cases/dsh-mcp-rea-a-thin-mcp-face-for-rea-c9ae08","markdownUrl":"https://reamcp.dev/en/cases/dsh-mcp-rea-a-thin-mcp-face-for-rea-c9ae08.md","sourceUrl":"https://github.com/Ersith/dsh-mcp-rea","sourceType":"github","author":{"name":"Ersith","handle":"Ersith"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.212Z","updatedAt":"2026-10-10T13:16:41Z"},{"id":"c7a8416ebe81078025870a4b","slug":"dsh-plugin-rea-rea-for-deepseek-harness-c7a841","title":"dsh-plugin-rea: REA for DeepSeek Harness","summary":"A third-party adapter that registers REA's MCP server inside DeepSeek Harness so its mcp__rea__* tools work there; analysis stays upstream.","url":"https://reamcp.dev/en/cases/dsh-plugin-rea-rea-for-deepseek-harness-c7a841","markdownUrl":"https://reamcp.dev/en/cases/dsh-plugin-rea-rea-for-deepseek-harness-c7a841.md","sourceUrl":"https://github.com/czcdr/dsh-plugin-rea","sourceType":"github","author":{"name":"czcdr","handle":"czcdr"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":3,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.209Z","updatedAt":"2026-10-12T16:18:29Z"},{"id":"24dbd270c2bd0b8c376ff816","slug":"unofficial-french-guide-to-rea-24dbd2","title":"Unofficial French guide to REA","summary":"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.","url":"https://reamcp.dev/en/cases/unofficial-french-guide-to-rea-24dbd2","markdownUrl":"https://reamcp.dev/en/cases/unofficial-french-guide-to-rea-24dbd2.md","sourceUrl":"https://github.com/valorisa/Reverse-Engineer-Anything","sourceType":"github","author":{"name":"valorisa","handle":"valorisa"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":7,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.207Z","updatedAt":"2026-10-09T19:49:26Z"},{"id":"d2753361b665b7c6c54768f0","slug":"rea-in-depth-an-mcp-toolchain-for-source-free-analysis-d27533","title":"REA in depth: an MCP toolchain for source-free analysis","summary":"A Chinese-language technical survey of how REA lets a coding agent analyse software without its source code.","url":"https://reamcp.dev/en/cases/rea-in-depth-an-mcp-toolchain-for-source-free-analysis-d27533","markdownUrl":"https://reamcp.dev/en/cases/rea-in-depth-an-mcp-toolchain-for-source-free-analysis-d27533.md","sourceUrl":"https://github.com/ringozzt/rea-research","sourceType":"github","author":{"name":"ringozzt","handle":"ringozzt"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":21,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.206Z","updatedAt":"2026-10-11T06:58:47Z"},{"id":"bfd07f6d00aecb53510bc25b","slug":"hands-on-analysing-your-own-apps-with-rea-ghidra-and-claude--bfd07f","title":"Hands-on: analysing your own apps with REA, Ghidra and Claude Code","summary":"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.","url":"https://reamcp.dev/en/cases/hands-on-analysing-your-own-apps-with-rea-ghidra-and-claude--bfd07f","markdownUrl":"https://reamcp.dev/en/cases/hands-on-analysing-your-own-apps-with-rea-ghidra-and-claude--bfd07f.md","sourceUrl":"https://github.com/jkf87/rea-practice","sourceType":"github","author":{"name":"jkf87","handle":"jkf87"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.204Z","updatedAt":"2026-10-12T05:09:19Z"},{"id":"e6523cea06bb9eb3baffb291","slug":"rea-playbook-from-evidence-to-file-line-to-recreation-e6523c","title":"rea-playbook: from evidence to file:line to recreation","summary":"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.","url":"https://reamcp.dev/en/cases/rea-playbook-from-evidence-to-file-line-to-recreation-e6523c","markdownUrl":"https://reamcp.dev/en/cases/rea-playbook-from-evidence-to-file-line-to-recreation-e6523c.md","sourceUrl":"https://github.com/jinshi666888/rea-playbook","sourceType":"github","author":{"name":"jinshi666888","handle":"jinshi666888"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.203Z","updatedAt":"2026-10-10T13:37:53Z"},{"id":"acfef7e444a8b5982a730604","slug":"rea-casebook-a-live-casebook-for-rea-evidence-acfef7","title":"rea-casebook: a live casebook for REA evidence","summary":"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.","url":"https://reamcp.dev/en/cases/rea-casebook-a-live-casebook-for-rea-evidence-acfef7","markdownUrl":"https://reamcp.dev/en/cases/rea-casebook-a-live-casebook-for-rea-evidence-acfef7.md","sourceUrl":"https://github.com/pablodiazjorge/rea-casebook","sourceType":"github","author":{"name":"pablodiazjorge","handle":"pablodiazjorge"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.201Z","updatedAt":"2026-10-12T10:04:35Z"},{"id":"85aaaf9c71b68227c896024b","slug":"rea-lab-a-windows-rea-and-ghidra-verification-lab-85aaaf","title":"rea-lab: a Windows REA and Ghidra verification lab","summary":"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.","url":"https://reamcp.dev/en/cases/rea-lab-a-windows-rea-and-ghidra-verification-lab-85aaaf","markdownUrl":"https://reamcp.dev/en/cases/rea-lab-a-windows-rea-and-ghidra-verification-lab-85aaaf.md","sourceUrl":"https://github.com/pablodiazjorge/rea-lab","sourceType":"github","author":{"name":"pablodiazjorge","handle":"pablodiazjorge"},"categories":["tools-integrations"],"category":"tools-integrations","tags":[],"stars":1,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.199Z","updatedAt":"2026-10-12T10:22:39Z"},{"id":"88d96fb3c4666a1dd57f7c86","slug":"openbsd-netcat-analysed-with-rea-and-ghidra-88d96f","title":"OpenBSD netcat, analysed with REA and Ghidra","summary":"A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.","url":"https://reamcp.dev/en/cases/openbsd-netcat-analysed-with-rea-and-ghidra-88d96f","markdownUrl":"https://reamcp.dev/en/cases/openbsd-netcat-analysed-with-rea-and-ghidra-88d96f.md","sourceUrl":"https://github.com/NullLabTests/OpenBSD_netcat_REA","sourceType":"github","author":{"name":"NullLabTests","handle":"NullLabTests"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":3,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.197Z","updatedAt":"2026-10-09T21:09:28Z"},{"id":"8a46665b12e656aa91dcc35c","slug":"asiair-firmware-study-with-rea-8a4666","title":"ASIAIR firmware study with REA","summary":"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.","url":"https://reamcp.dev/en/cases/asiair-firmware-study-with-rea-8a4666","markdownUrl":"https://reamcp.dev/en/cases/asiair-firmware-study-with-rea-8a4666.md","sourceUrl":"https://github.com/Jiang-sustech/REA-ZWO","sourceType":"github","author":{"name":"Jiang-sustech","handle":"Jiang-sustech"},"categories":["formats-protocols"],"category":"formats-protocols","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.195Z","updatedAt":"2026-10-11T07:15:45Z"},{"id":"4f151a6816c8a0cd39e56dab","slug":"rea-research-lab-ten-studies-of-released-software-4f151a","title":"REA Research Lab: ten studies of released software","summary":"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.","url":"https://reamcp.dev/en/cases/rea-research-lab-ten-studies-of-released-software-4f151a","markdownUrl":"https://reamcp.dev/en/cases/rea-research-lab-ten-studies-of-released-software-4f151a.md","sourceUrl":"https://github.com/Ginderlax/rea-research-lab","sourceType":"github","author":{"name":"Ginderlax","handle":"Ginderlax"},"categories":["app-recreation"],"category":"app-recreation","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.193Z","updatedAt":"2026-10-12T23:49:26Z"},{"id":"b53d36c686de1a35a6d40840","slug":"untangle-rebuilt-from-rea-evidence-only-b53d36","title":"Untangle rebuilt from REA evidence only","summary":"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).","url":"https://reamcp.dev/en/cases/untangle-rebuilt-from-rea-evidence-only-b53d36","markdownUrl":"https://reamcp.dev/en/cases/untangle-rebuilt-from-rea-evidence-only-b53d36.md","sourceUrl":"https://github.com/az9713/untangle-rebuild","sourceType":"github","author":{"name":"az9713","handle":"az9713"},"categories":["app-recreation"],"category":"app-recreation","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.191Z","updatedAt":"2026-10-11T15:25:33Z"},{"id":"d3aaa69c1a616fc5e33d125b","slug":"the-industrial-revolution-in-reverse-engineering-d3aaa6","title":"The industrial revolution in reverse engineering","summary":"An 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.","url":"https://reamcp.dev/en/cases/the-industrial-revolution-in-reverse-engineering-d3aaa6","markdownUrl":"https://reamcp.dev/en/cases/the-industrial-revolution-in-reverse-engineering-d3aaa6.md","sourceUrl":"https://rea.tools/blog/touhou-reconstruction","sourceType":"website","author":{"name":"N0zoM1z0","handle":"N0zoM1z0"},"categories":["source-recovery"],"category":"source-recovery","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.189Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"ee07c3e4da1f2897fa516fb5","slug":"th04-source-reconstruction-ee07c3","title":"TH04 source reconstruction","summary":"Reconstructs a PC-98 DOS shooter's code, matching its 16-bit routines to readable C++ and the historical compiler's output.","url":"https://reamcp.dev/en/cases/th04-source-reconstruction-ee07c3","markdownUrl":"https://reamcp.dev/en/cases/th04-source-reconstruction-ee07c3.md","sourceUrl":"https://github.com/N0zoM1z0/th04","sourceType":"github","author":{"name":"N0zoM1z0","handle":"N0zoM1z0"},"categories":["source-recovery"],"category":"source-recovery","tags":[],"stars":29,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.186Z","updatedAt":"2026-10-12T15:30:53Z"},{"id":"cb13343a9dda3c16fda39e93","slug":"reconstructing-dx-ball-1-07-cb1334","title":"Reconstructing DX-Ball 1.07","summary":"Rebuilds the 1990s Breakout game's logic in C and checks it against the original x86 program with differential tests and byte-exact compiled output.","url":"https://reamcp.dev/en/cases/reconstructing-dx-ball-1-07-cb1334","markdownUrl":"https://reamcp.dev/en/cases/reconstructing-dx-ball-1-07-cb1334.md","sourceUrl":"https://github.com/N0zoM1z0/dx-ball","sourceType":"github","author":{"name":"N0zoM1z0","handle":"N0zoM1z0"},"categories":["source-recovery"],"category":"source-recovery","tags":[],"stars":40,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:05.143Z","updatedAt":"2026-10-12T21:08:16Z"},{"id":"6eb1cf79987abe9c7b194995","slug":"how-notion-copies-text-and-html-6eb1cf","title":"How Notion copies text and HTML","summary":"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.","url":"https://reamcp.dev/en/cases/how-notion-copies-text-and-html-6eb1cf","markdownUrl":"https://reamcp.dev/en/cases/how-notion-copies-text-and-html-6eb1cf.md","sourceUrl":"https://rea.tools/showcase/notion","sourceType":"website","author":{"name":"REA team","handle":"REA team"},"categories":["app-recreation"],"category":"app-recreation","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:04.601Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"34ece1f29d4349f152900600","slug":"solving-a-ctf-flag-checker-34ece1","title":"Solving a CTF flag checker","summary":"Inspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.","url":"https://reamcp.dev/en/cases/solving-a-ctf-flag-checker-34ece1","markdownUrl":"https://reamcp.dev/en/cases/solving-a-ctf-flag-checker-34ece1.md","sourceUrl":"https://rea.tools/showcase/ctf","sourceType":"website","author":{"name":"REA team","handle":"REA team"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:04.598Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"f530d2b7d02389115d7c6f4d","slug":"how-an-authenticator-generates-a-login-code-f530d2","title":"How an authenticator generates a login code","summary":"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.","url":"https://reamcp.dev/en/cases/how-an-authenticator-generates-a-login-code-f530d2","markdownUrl":"https://reamcp.dev/en/cases/how-an-authenticator-generates-a-login-code-f530d2.md","sourceUrl":"https://rea.tools/showcase/aegis","sourceType":"website","author":{"name":"REA team","handle":"REA team"},"categories":["ctf-learning"],"category":"ctf-learning","tags":[],"stars":0,"permissionLevel":0,"scanComplete":false,"install":null,"publishedAt":"2026-10-12T22:38:04.585Z","updatedAt":"2026-10-13T00:00:00Z"},{"id":"458c04cd04ca960bc316608e","slug":"rea-reverse-engineer-anything-458c04","title":"REA (Reverse Engineer Anything)","summary":"Reverse engineer anything with agents, from app behavior down to native binaries.","url":"https://reamcp.dev/en/cases/rea-reverse-engineer-anything-458c04","markdownUrl":"https://reamcp.dev/en/cases/rea-reverse-engineer-anything-458c04.md","sourceUrl":"https://github.com/morluto/rea","sourceType":"github","author":{"name":"morluto","handle":"morluto"},"categories":["tools-integrations"],"category":"tools-integrations","tags":["agent-skills","ai-agents","binary-analysis","claude-code","cli"],"stars":156483,"permissionLevel":0,"scanComplete":false,"install":"npx rea-agents setup","publishedAt":"2026-10-12T22:19:24.526Z","updatedAt":"2026-10-13T00:26:30Z"}]}