十月末 GitHub 冲得最猛的两个项目，刚好是同一件事的两头。REA 给 Agent 装手，让它能把别人的程序拆开看；Cloudflare 的 security-audit 给 Agent 立规矩，让它审自己的代码时别满嘴跑火车。一个往里拆，一个往外审。
REA：38 万星，一个 MCP 把固件、内核模块、APK 全接进来
morluto/rea 今年 4 月 14 日建仓，到今天 38.1 万星、9.5 万 fork，TypeScript 写的，MIT。半年涨成这样，Trendshift 上一直挂着。
它不是个 App，是个本地 MCP server。npx rea-agents setup 会往 Claude Code、Codex、Cursor、Gemini CLI 里注册一个 MCP，再塞一份工作流说明。之后你在 Agent 里说「看看这个功能怎么实现的」，Agent 通过 MCP 调 REA，REA 再去调本机的 Hopper、Ghidra 或 IDA，把伪代码、汇编、字符串、符号、调用关系连证据一起递回来。静态分析在本机跑，不上传目标文件。
真正让我坐直的是它的支持清单，不是那种「支持 ELF」就完事的清单：固件走 Binwalk/Unblob 拆区；Linux 内核模块能读 .modinfo、__versions CRC 和签名尾；GPU code object 能拆 CUDA/HIP 的 CUBIN、留 PTX 文本；GGUF/safetensors 能读张量声明；逻辑分析仪的录波能过 sigrok-cli；pcap 走 tshark；APK 走 JADX，还能验 v1/v2/v3 签名和密钥轮换。
做硬件和 OpenWrt 的人看到这一串应该知道意味着什么。以前要开三四台机器、切五个工具、来回倒文件的事，现在是一句话加一个 Agent。
官方 showcase 里有个 DX-Ball 的案子：从一个声音调用追到位置转声像的辅助函数，反推出的 C 代码过了 3205 个原始 x86 用例，63 个字节的编译结果逐字节对上。这种「对得上」比「看起来像」值钱得多。
坑也说清楚：它自己 README 挂了防假冒声明，相似仓库名不等于官方，装的时候认 npm 上的 rea-agents。另外「本地分析」只保证分析在本地，结论还是要进模型上下文，模型厂商的数据政策是另一回事。
security-audit：4.6 万星，把「审计」拆成七个阶段互相打脸
Cloudflare 6 月 18 日开源了这个技能，现在 45,806 星、2,840 fork，仓库 14 个 commit，MIT。里面只有一个 skills/security-audit 目录，轻得不像大厂出品。
但背后的东西不轻。Cloudflare 那篇《Build your own vulnerability harness》写得很实：最开始就是一个 450 行的 skill，在单个仓库上跑，把 prompt 调到能挖出真 bug，然后才长出编排，最后变成他们全域的漏洞发现流水线。开源的这个，就是当初那颗种子。
流程是这样的：三个侦察 Agent 并行读代码，写一份 architecture.md 把信任边界列出来；然后 Hunter 按攻击类分头下场——注意它的定位不是「评审代码」，是「试着打穿」；打完的候选交给对抗验证 Agent，后者的任务是专门找理由推翻；活下来的写成人类可读的报告，同时按 schema 吐一份 findings.json；机械校验查行号、函数是不是真的存在；最后换一个全新的 Agent，把每条结论对着源码再验一遍；全过了才进 triage。
仓库里能看到这套东西被当代码管：SKILL.md 22KB，旁边 15 个领域文件——内存安全与二进制、供应链与发布、协议与 RPC、客户端、云与部署、资源耗尽——还有 14KB 的 report-schema.json，两个校验脚本各带一份 26KB 的测试。这不是「写个提示词」，这是把审计流程做成了有单测的软件。
数字也不藏：一个 3 万行的仓库，一次跑出约 100 条初筛，3 到 4 小时；最狠的一轮跑了 14 个多小时；而且单次只能找到大约一半的 bug，找到的还偏简单。所以他们的定位是周期性全量扫，不是每个 PR 都跑。
安全约束写得更硬：目标代码只能在无外网、只读挂载、限额的沙箱里执行；沙箱能力缺一项，就不执行目标代码，只读源码，把缺的能力记成「待验证」。这条比任何 prompt 技巧都重要，也是我们前几天写 OpenShell时反复念叨的同一个道理。
实话
两个项目放一起看，能看出今年 Agent 项目的分水岭：不再比谁的模型聪明，比谁把流程和证据做得更死。REA 的证据是伪代码和引用，Cloudflare 的证据是行号、复现步骤和另一个 Agent 的独立复检。模型换一代，这两套东西都还能用。这也是Agent 开始长手之后必然要走的一步——手伸出去，就得有人管住它。
星数得打折看。REA 半年 38 万星，涨速不正常，先确认来源再装；security-audit 只有 14 个 commit，真正能打的那套 harness 还没开源，你拿到的是起点，不是成品。
适不适合自己：手上有一堆路由器固件、eMMC dump、内核模块要看的，REA 值得花一晚上把 Ghidra 配好；团队有 CI、想季度扫一遍的，security-audit 的流程可以直接抄，但别指望它替你上线；一个人写业务代码的，两个都先收藏着。
成本也要算：一次 100 条候选跑 3 到 4 小时，token 是真金白银。Cloudflare 自己都说了，大扫是周期性的事，不是每次提交都来一遍。
拆别人的东西和审自己的东西，本来是两拨人干的活。2026 年 10 月，Agent 把这两拨人的工具箱摆到了同一张桌子上。
