18|提示词设计与反证
目标:让 Agent 在 REA 有证据不足时停下来,而不是编造调用图。
分类:方法|核查日期:2026-10-21|状态:操作方案,需读者在自己环境中验证。
前置条件
- 只分析自己拥有或获明确许可的目标;不要破解许可证、规避 DRM、探测陌生账号或收集第三方私人信息。
- 先记录操作系统、目标版本、REA CLI/npx 实际版本、Node/npm 版本和分析目标 SHA256。
- 静态线索、运行行为、独立猜测、已测试重建必须各自标注来源。不把 Agent 的“完成了”当成功证据。
跟着做
- 第 1 步:每次提问只追一个用户可感知的功能。
- 第 2 步:限定允许的目标文件、只读范围和最大扫描深度。
- 第 3 步:要求逐条列证据来源:函数地址、文件路径、调用引用或运行轨迹。
- 第 4 步:对每个结论设置替代解释和可推翻实验。
- 第 5 步:实施前先写测试,再生成独立、获授权的重建代码。
可复制的 Agent 指令
我正在做合法授权的 REA 逆向研究,目标是【自己的软件/公开授权样本】。
任务:研究【功能】。仅允许观察【目标范围】,先给证据表;对每个重要结论提出两条能推翻它的实验;缺证据时直接说不知道。
范围:只读分析,只有真实许可证允许的对象和数据;不要下载未知二进制、修改应用、登录未授权账号、提取秘密或绕过 DRM。
输出:操作前提/可用工具/直接观察与路径/证据/仍需验证的推断/下一步最小实验。
在进行任何配置更改、软件安装或运行目标程序前,先向我展示计划并等待批准。
验收清单
- 原始目标来源、版本和授权范围可追溯。
- 每个主要主张有真实文件路径/函数地址/调用引用或行为证据。
- 记录真实命令和执行结果;若未运行 REA,则明示未运行。
- 提供一个可以推翻主结论的实验。
- 没有泄露个人信息、密钥或第三方受版权保护资源。
红队审核
高频误区:一个“看似合理”的 agent 回复可以与实际反编译结果完全不符。
反证问题:如果当前观察来自另一版本、另一分支或模拟环境,结论是否还成立?若无法证实,就改写为“有待验证”。
延伸阅读
REA 安装官方文档 · REA 官方仓库 · 实验记录模板
独立中文教程,非 REA 官方出品。AI 酋长 Andy · 微信 AIPMAndy · https://metaver.vip/
AI 酋长 Andy
免费开源教程,可持续提交实测与反证。微信:AIPMAndy