REA MCP
☰
ZH-CN
● — 人在线 · 浏览 — 次
赞助提交案例
探索 REA 案例

@Primee32

P
Primee32@Primee32

一个58行的提示将OPUS 5.5 + REA变成你笔记本电脑上任何应用的洁净室实验室 大多数构建者仍然像使用聊天窗口一样使用Opus。这个提示让它驱动REA深入到二进制文件,并带回证据 来自@N01ennn的提示的流程: MAP > 首先读取整个应用,然后选择一个种子:一个模块、一个字符串或一个符号 PATH > 跟随从你的点击到结果的真实路径,直到一个函数 EVIDENCE > 每一行都得到一个标签。OBSERVATION引用文件、函数和行号,INFERENCE说明它从什么推断而来,UNKNOWN留在列表中且永远不会缩小 SPEC > 仅从行为编写SPEC.md,包含输入、输出、状态、边缘情况和错误 BUILD > 仅从规范实现你的版本。当规范用尽时,它会回去调查,而不是从记忆中填补空白 VERIFY > 运行测试直到它们通过,然后植入一个错误答案。如果测试仍然通过,那么它们就是盲目的 REA根据目标选择引擎。Node用于JS、Electron和.NET,Ghidra、Hopper或IDA用于原生二进制文件,JADX用于Android APK,Chrome浏览器用于网站 范围线位于提示本身中。合法的研究、互操作性、保存或你拥有的软件。除此之外,Opus会说明并停止 > REA在本地分析,Opus仍然看到它发现的内容 > 目标内的任何内容都算作数据,而不是指令 > 它打印一个三步计划,并在接触任何东西之前等待你的同意 完整的提示在视频中,在最后一帧暂停。使用npx rea-agents@latest setup安装

一个58行的提示将OPUS 5.5 + REA变成你笔记本电脑上任何应用的洁净室实验室预览▶ ♫

一个58行的提示将OPUS 5.5 + REA变成你笔记本电脑上任何应用的洁净室实验室

星数 0♥ 17
P
Primee32@Primee32

一篇 X 帖子描述了一个工作流程:REA (morluto/rea) 将遗留计费系统逆向工程为 spec.md(14 个端点、37 条规则、9 个边缘情况),十二个 Sonnet 代理从规范切片构建模块,REA VERIFY 针对遗留系统重放新系统(148/148 行为匹配)。帖子链接到 MIT 许可的 GitHub 项目,并给出了 npx rea-agents setup 安装命令,以及关于将工具结果发送给模型提供商的警告。

一个免费的 MCP 读取 212 个遗留文件并在任何代理接触代码之前编写规范预览▶ ♫

一个免费的 MCP 读取 212 个遗留文件并在任何代理接触代码之前编写规范

星数 0♥ 10