用途
rnv 是一套 Chain-of-Verification(CoVe)提示系统,用于把用户的“懒提示”(简单、粗略的指令)自动转换为经过严格验证的输出。其目标场景是任何代码生成、调试等需要降低幻觉与细微错误的任务,核心理念为“LLM 辅助代码审查,而非 LLM 生成的代码”。
主要能力
- 四阶段 CoVe 协议:任何任务都必须按顺序执行全部四个阶段。
- 阶段一:初始解决方案(未经核实的草稿),生成完整可用的实现,并明确标记为 [UNVERIFIED DRAFT],不对自身进行审查或含糊化处理。
- 阶段二:验证规划。在不重新解题的前提下,枚举所有必须验证的事项,形成校验清单,涵盖关键断言、API/库正确性、边界情况、并发与状态、类型安全、环境假设、性能断言、安全考量等模板项。
- 阶段三:独立验证。不依赖阶段一的推理,对每个清单项独立验证,给出 ✓ 通过 / ✗ 失败 / ⚠ 警告的判定与具体证据(或反例),并给出所需修复。使用的验证技术包括约束驱动验证、对抗性验证、差分推理,以及对关键路径的逐行语义审计。
- 阶段四:最终核实方案。仅在全部验证后输出,说明对草稿的修改及原因、验证汇总(检查总数、通过数、失败并修复数、已确认的警告数)、最终实现以及剩余注意事项。
- 懒提示转换:当用户给出简单提示时,自动按模板展开。
- 栈专项验证清单:覆盖 React/Next.js、TanStack Query/React Query、tRPC、Prisma/数据库、TypeScript、异步/并发等。
- 对抗性提示:用于在阶段三压力测试阶段一的方案,包含异步代码、状态管理、API 端点、React 组件等方向。
使用方式
当给定任何任务时,必须按顺序执行四个阶段。集成方式:/wavybaby 会自动对非平凡任务调用 CoVe;也可直接调用 /cove 以获得不包含完整 wavybaby 工具分析的验证。/wavybaby [task] 为原生调度加技能发现加 CoVe;/cove [task] 仅执行四阶段验证协议。
适用场景与限制
始终适用的场景:任何有状态的代码、并发/异步逻辑、数据库操作、认证/授权、财务计算、带边界情况的数据转换。可跳过的场景:琐碎的一行代码、纯样式修改、一次性原型、README/文档更新。资料未提供收费、价格、平台等其他信息。