用 REA 从技嘉 RGB Fusion 的 Windows 二进制中还原 ITE IT5702 的 64 字节 HID 协议及「开机全灭锁」成因，实现经 OpenRGB 的 Linux 原生灯效控制，不依赖 Windows 运行时。

逆向 Etrel Load Guard 电表/负载管理器的通信协议，做成跨平台配置工具，用于在自有设备上读写配置。

逆向 VGN A75 键盘的 HID/固件协议，做出 Linux 下的灯光与配置控制程序（原厂仅提供 Windows 软件）。

借助 REA 检视微软 USB Audio Class 驱动行为，实现对 JBL Flip 6 音箱的 USB 音量控制。

对老款 Grundig/Beko/Arçelik 电视固件做离线研究，不向电视写入、不提交专有资产。

基于 2003 年《Bonkheads》官方 demo（校验哈希、未运行原程序）做 clean-room Mac 重制，不含原始代码、美术或关卡。

为在非 BOOX 的 InkPalm 墨水屏设备上运行 BOOX NeoReader 提供脚本与文档，不含专有代码；过程涉及第三方 APK 重签名并绕过「仅 BOOX 硬件」校验，存在 EULA 风险。

用 REA 分析群晖 DSM6 的 `php74-fpm` 行为，做成可直接替换的补丁包，修复 PHP2Shell 未授权 RCE 并回补一批 PHP 安全修复，作者在 DS1815+ 上实测通过。

对 Ubuntu 的 `netcat-openbsd 1.234-1` 二进制做静态审计，恢复 main 及 24 个辅助函数并确认无后门。

博文复盘用 REA + Ghidra + Codex 静态分析一个 Windows loader：从 MalwareBazaar 取样，在隔离 Docker 中不执行样本、不外连，自写解码器并与独立 Python 实现交叉验证，确认项与未确认项分开记录，最终产出防守指标。

附可运行的演示 Electron 应用与比对脚手架，示范「提问 → 检视 → 取证 → 验证」的闭环方法。

面向零基础读者的中文 REA 上手指南，约 38 章。

中文「证据优先」实践指南，强调每条结论都要附代码引用。

以 `uses-rea` 标签聚合的社区逆向项目目录，明确排除破解、盗版与 ROM 类项目。

为 REA 构建的加固版 rootless Podman 容器，用于隔离运行分析。

Electron「三层」分析流水线与配套 DSH 技能（中文），用于系统化拆解 Electron 应用结构。

在 24GB 显卡上本地运行 Qwen-27B + Hermes + REA 的配置与提示集；示例提示中包含存档改金币、生成 license key 等内容，作者称仅针对自带的演示二进制。

作者逆向官方「TCL智能空调」App，整理出明文 XML over UDP（端口 7777）的局域网协议，做成 Home Assistant 集成，支持温度、模式、风速、扫风及 ECO、强劲、自清洁等开关，无需云端、账号、Root 或刷机。

用 REA + Ghidra 分析 `KEEN1.EXE`，将反编译逻辑逐函数翻译成 C，在 Linux / SDL2 上原生重写 Commander Keen 1；仓库不含游戏数据，可使用免费共享版 v1.31，另有 Emscripten 网页版。

作者先让 REA 分析开源游戏 Neverball 的可执行文件、整理出游戏逻辑与关卡结构规格书，再让 LLM 按规格用自研 Rust 引擎 KaniVolcanoEngine 重做游戏。

作者称约 99% 代码由 Claude Code + REA 在 4 小时内完成：重写的引擎核心 TonicCore、用 Metal 渲染 Tonic Trouble 关卡的 Swift 查看器和解包工具；作者表示不确定正确性，打包脚本会带上受版权保护文件、仅限个人使用，仓库本身不含游戏数据。

作者用 REA 读取停更的 32 位 Windows 死链检查工具 Xenu's Link Sleuth 1.3.9 的 `Xenu.exe`（附 SHA-256）及 CHM 帮助，提取菜单、颜色、INI 配置、错误文字和报告结构，用 React 重写为网页版。

一条命令抓取 REA 证据并哈希存档，裁剪到目标功能、生成规格、用 TypeScript 重写，再与用原程序构建的测试基准做差分对照；附 5 个可公开复核的示例。

作者只让 Claude Code + REA 查看本机安装的 Apache-2.0 开源 Codex CLI 文件，用 Python 重写非交互模式 `codex exec`，并用开工前写好的隐藏测试和 38 行假 Responses API 服务器逐项比对请求。

日文长文将两篇媒体报道与 README、DISCLAIMER、安装文档、npm 信息、Issue/PR 等一手资料逐条比对，指出 star 数统计时间点、「两周」含义及「50 个函数漏 22 个调用仍报告 complete」出处（Issue #2326）等 3 处不一致。

防守向 skill：向 `AGENTS.md`、`.cursor/rules` 等文件写入禁止使用 REA 的指令，添加机器可读的 `.re-deny` 文件，并在 `node_modules/.bin/rea` 放置拦截脚本；仅对遵守指令的 agent 有效。

作者实测默认挂载 REA 时共 262 个工具、每步请求带 836,511 字节工具定义（约 20 万 token），关闭后仅 55 个工具、42,308 字节，因此做了一个持久化到 profile 的 REA 开关插件，在 rea-agents 6.5.0 上测试。

Claude Code 每次调用 `mcp__rea__*` 工具时在 Omarchy 屏幕顶部弹出面板，显示当前任务、耗时、目标二进制、涉及文件和最近记录，配色跟随主题；通过备份配置并添加三个 hook 实现。

在官方 207 个工具外新增 8 个：默认紧凑文本分页返回、按需查看裁剪截图，用本地表格 Q-learning 为下一步动作排序，支持导出 Google OKF 0.2 并可根据网页证据生成前端；作者说明尚无基准证明效果，属实验性质。

基于 Ubuntu 24.04、发布在 GHCR 的 4 个 REA Docker 镜像，按反汇编引擎分为 Ghidra+Hopper、仅 Ghidra、仅 Hopper、IDA（自备许可证），附校验脚本，宿主机无需额外安装。

将 Gremlin agent 的推理后端换成 AirLLM，可使用 Hugging Face 模型，并只暴露部分 REA 工具以减少提示词开销；目前仅演示到连接 REA，完整分析流程仍在开发。

中文 REA 提示词合集，从安装校验、首个练习（追踪 rea.tools 示例的 CSV 导出）讲到二进制、固件、APK 等场景，要求区分「已确认」与「推测」；其中含反作弊、DMA、DRM、内核章节，作者限定用于安全研究、CTF、漏洞赏金与自研软件防护测试。

合并多套开源逆向 skill 与 CTF 技巧库的统一方法：先识别再解读、先做低成本探测、让程序自己算出答案、结论须附地址，并定义 E1–E4 证据等级与防止 agent 原地打转的规则；README 称已逐一核对来源许可证。

Miles Deutscher 的 REA 入门长文（7.8 万浏览、358 收藏），讲安装与网站、桌面应用、安卓、原生程序和游戏四类目标；thisisntartificial 据此整理出 clean-room skill，结论标注 CONFIRMED / INFERRED / UNKNOWN 并拆分为多个角色。

作者用 REA 从小米电视固件中还原未公开的 MiLink 遥控协议（TCP 6091），做出 macOS 菜单栏、安卓、iOS 三端遥控 App，无需 ADB 或配对；不支持 MiLink 的型号回退到 Android TV 遥控服务。

作者用 REA 分析仅有 Windows 版的 Blackweb 鼠标官方配置软件，将协议整理成 PROTOCOL.md 并做成 CLI + GUI，支持 3 个型号的回报率、DPI、灯效和宏设置，已在 MA32AIY 真机验证读写，写入前备份鼠标存储。

用 REA/Ghidra 系统研究索尼 A6000 相机固件 `av-cam.bin` 的长期项目（西班牙语），每个结论附地址与测试；例如电池部分记录为「已验证为否定」：固件中没有 NP-FW50 电池模型。

作者在已 root 的 LG C4 电视上借助 REA/Ghidra 研究私有接口，发现 GPU 渲染的 4K 画面可绕过 1080p 合成器直接走视频平面输出，实测提交速率约 60 帧/秒，并区分统计提交次数与实际显示帧。

作者用 REA 分析 2006 年的千千静听 4.6.9：识别 UPX 壳后转而分析 TTPlayer.exe（7,015 个函数），定位版本检查、歌词搜索、歌词上传三条联网路径，并核对导入表未发现 GetUserName / GetComputerName 调用。

在 Muse 中接入 REA 的完整安全日志：检查 npm 包无 install 阶段脚本，所有组件按官方 SHA-256 校验后运行，每步附可重跑脚本，最终 REA 6.7.0、Ghidra 12.1.4、JADX 在 `rea doctor` 中全部正常。

为期 10 天的公开混淆强度基准：ReaShield v1.1.0 保护的程序对阵 rea-agents 6.7.0 与各类 agent，共 5 关，完整还原源码奖励 100 美元，页面显示已有 214 条 agent 提交。

参考 GPL 授权的 DOOM 源码、用可打印字符与 ANSI 颜色渲染的终端版 Rust 重写，不附带 WAD 数据；每个子系统包含证据条目、Rust 实现和等价性测试，三角函数表在启动时按公式生成并记录误差。

用 REA + Ghidra 分析 1997 年 RTS《Dark Colony》的 `DC.EXE`，将文件格式整理进 FORMATS.md 并用 TypeScript 重写为浏览器版；网页不含游戏数据，需选择本地已安装的游戏目录、文件仅在浏览器本地读取。

衡量 agent 还原二进制能力的基准：模型通过 REA 与 headless Ghidra 读取固定的 x86-64 ELF 并交回 C++、Rust 或 Go 源码，11 个用例覆盖去符号优化程序、16 种 C++11 容器与 Go 调用约定，打分时编译运行行为检查并统计 token 与成本。

葡萄牙语项目，流程为「读旧系统 → 写成确定契约 → 生成新系统 → 有偏差即判失败」；其中 `rea-lab` 以 Chocolate Doom 3.1.1 对照源码核对 REA 结论并仅凭二进制重建 WAD 格式，另有 HeidiSQL 的 exe 与源码比对案例。

在 Ubuntu 24.04 上无需 sudo 部署 REA 以反编译 arm64 macOS 二进制：用 nvm 装 Node 24，校验 SHA-256 后将 JDK 21 与 Ghidra 12.1.4 放入用户目录，并记录了从源码构建时 Turborepo 二进制缺失的问题。

非官方的免费 REA 学习站（不接收上传、不提供托管分析），帖子给出提问模板：目标版本 → 一个具体动作 → 预期与实际 → 两种可能解释 → 一个能区分的检查，并要求未验证内容写为 unknown。

无需 MCP、仅用 Python 标准库的 REA 命令行，对齐 rea-agents 6.7.0；作者实测输出 token 减少 8–55 倍（decompile 从 1,216 降至 150），磁盘缓存使同一 6MB 二进制的二次分析从 180.6 秒降到 4.13 秒。

REA for Claude 插件 0.5.0：在 claude.ai 云端会话中自动安装 Ghidra 和 jadx，为 Claude Desktop 打包 .mcpb，提供远程 OAuth 网关，并可将 REA 证据生成 HTML 或 diff 报告。

先用 REA（Ghidra 后端）分析 Blender 5.2.2 二进制，再据此设计 Python SDK、MCP 服务和 CLI，供 agent 驱动 Blender 自动化。

作者用 REA 读取本机 Windows 计算器，解释为何 200 + 10% = 220 而 6 × 6% = 0.36：代码先判断运算符，再决定百分号的计算方式。

作者用 REA + Ghidra 静态分析 Maono Link 4.0.88 插件 DLL，还原 64 字节寄存器协议，为 OpenRGB 写出覆盖 15 款型号、33 个 USB PID 的控制器；目前仅在 PD200W 上实测，MR 仍为草稿并在征集测试。

作者用 REA + Claude Code 分析官方 APK 与网络报文，写出直连智能空调并显示室温的替代 App；据作者称协议分析花了数小时，整体一天完成。

作者只向 REA（6.4.0 + Ghidra）提供 PowerToys 取色器发布版二进制，再对照开源代码核对，9 条结论中 8 条正确，最终写出不到 750 行的 C# 取色器；首个字符串命中落在日志封装函数中，上一层调用者才是真正逻辑。

用 REA 检查 WinDirStat 2.5.0 二进制、确认扫描与树图行为后，用 Rust + Tauri 重写的磁盘分析器；作者说明代码全部由 AI 生成且未经本人审查，而该工具具备删除和移动文件的能力。

西班牙语 REA + Ghidra 实验课：从去符号的自制教学二进制中还原校验逻辑，仅凭 REA 给出的证据用 Python 重写并与原程序对照验证，源码在最后一步才公开。

用 Claude Code + REA 反汇编、反编译 1992 年屏保 Johnny Castaway 的 `SCRANTIC.SCR`，还原资源格式与脚本语义并用 Rust 重写；项目不附带原始数据，README 含 AI 使用说明与法律声明。

基于 Godot 4 / .NET 8 从零重写《英雄无敌 5：东方部落》，支持 P2P 与在线大厅联机，不含原版素材、运行时读取本地已安装的游戏数据；仓库简介称由 Claude 用 REA 逆向，项目 10-19 创建，仍处早期。

作者仅给出一句提示词，让 Codex + REA + Ghidra 持续分析 1999 年赛车游戏 Rollcage；仓库包含 AI 产出的 Markdown 发现、带单元测试的 JS 算法片段和第一关场景查看器，并注明不是源码也不是复刻。

面向防守方的 MCP：让 agent 定位程序核心函数并加上混淆与虚拟化，再验证行为未被破坏、记录性能损耗；README 徽章自报对 REA 的防御率为 25%。

将 REA 与编程 agent 分别运行在两个断网的 Docker 容器中并限制工具权限，用于分析不可信的二进制或压缩包，已对齐 REA 6.7.0。

流程为 REA 静态分析 → 授权 VM 动态取证 → IDA 截图 → 结构化报告，每个运行时结论都需对应命令、哈希或截图，缺失的工具标为不可用；面向恶意样本分析与检测工程。

针对 REA 类 agent 的上下文污染原型：先撑满初始上下文，再用「三元组桥接」文本诱导低质量输出；作者自述为早期原型、效果有限。

社区用例目录，目前收录 16 个 build，按原生二进制、APK、游戏、互操作等分类；提示词页提供 8 个模板（解释一个功能、还原规则并做最小复刻、理解文件格式、在授权前提下检查数据存储与发送等），强调一次只问一个功能。

含 16 个分类的 REA 提示词合集，覆盖固件、Android、内核、Electron、版本对比等；其中包含「破解研究」「反作弊/DMA」等章节。

单文件 Python 版 REA：通过 stdio 走 MCP，可驱动 headless Ghidra，支持本地 LLM，优先使用免费工具与免费 API。

预装 REA、OpenJDK 21、指定版本 JADX bridge、Apktool 与 adb 的 Docker 镜像，对外提供 Streamable HTTP MCP 端点，用于开箱即用的 APK 分析。

中文社区关于 REA 是否被夸大的讨论帖，评论区多认为它是「老工具 + 大模型的编排层」；英文社区也有「decompiler plus smart reading, not an undo button for the compiler」的类似观点。

有用户询问能否用 REA 为旧安卓手机制作自定义固件；另一条讨论中 @vdecrypto 称用三星 Tizen 固件尝试时因文件加密，REA 表示无法处理。