rea-lab：Windows 上核验 REA × Ghidra

这是什么。@pablodiazjorge 于 2026-10-11 发布的 MIT（文本 CC-BY）TypeScript 实验室。钉死 rea-agents 6.4.0 与 Ghidra 12.1.4；README 以西语为主，运维口径仍是：核验 → 测量 → 可视化。

对运维为何重要。社区 Windows 接线常死在 JAVA_HOME／GHIDRA_INSTALL_DIR／冷启动。本仓叙事是先 doctor 绿灯，再按项目注册 MCP，避免继承坏掉的全局配置。

可复制流程。(1) 在 REA 外安装 Ghidra + JDK。(2) 导出绝对路径；跑 doctor --provider ghidra --json。(3) 为项目注册 MCP。(4) 只分析种子题／自建／允许的 crackme（WinHelloCPP、Wallace、自写 XOR writeup）。(5) 可选基准 harness——不是破解排行榜。

本站相关。接线深挖见 /zh/docs/windows-ghidra/。6.4.0 变更见 /zh/blog/rea-agents-6-4-0/。若要一次性 shell，可用 Codespaces／Actions 实验室（非 Windows）。

怎么试（仅授权实验室）。(1) 克隆仓库；阅读 MIT／CC-BY。(2) 在 REA 外安装 Ghidra 12.1.4 + JDK。(3) 按该仓文档钉 [email protected]。(4) 导出绝对路径；跑 doctor --provider ghidra --json 至绿灯。(5) 按项目注册 MCP。(6) 只做种子题／自建／允许的 crackme——绝不碰雇主二进制。

限制表（叙述）。doctor 绿灯 ≠ 可分析任意 PE；README 以西语为主可能需要翻译辅助；基准 harness 是计时意图，不是破解排行榜；2026-10-12 抓取星标快照为 1。