用途:Correct 针对“操作者反复纠正智能体同一类错误”的场景,目标不是单次修复,而是改造仓库,使下一个智能体无法再犯同类错误。它假设每位贡献者都是只看已打开文件、复制最近示例、走最短可编译路径的智能体,因此要让“从单个文件看正确”的改动对整个仓库也正确。
主要能力与流程:
- 发现错误类别:阅读近期提交、回滚、评审意见、智能体指令文件以及解释变通做法的注释,把错误归类;同一类出现两次即算成立。
- 在可行的最高层级修复:优先用架构消除,例如让每份状态只有一个归属、每项任务只有一种受支持做法、隐藏内部实现使错误导入失败、用单一事实来源替代手工同步的列表、删除旧做法与死代码。
- 用类型约束,使坏状态无法写出;若坏代码仍能编译,则加 lint 或 CI 检查,错误信息要指明应使用的文件、类型或函数;若该模式已普遍存在,只在改动新增时失败。
- 测试行为:修复或删除那些即使所调用函数全部返回空也仍会通过的测试。
- 文档或智能体规则最后写,仅用于需要判断的场景,跳过它们不会导致失败。
修复与证明:按类别逐次提交修复最高频的问题,证明每个新检查能在真实历史错误上失败,并在本地与 CI 运行同一命令。例外需写在问题行上,附原因、到期日期和人工批准。
规则表:在智能体指令文件中维护一张表,把每条规则与其执行方式配对。当操作者纠正时,修复错误并补充规则;若规则已存在却无任何执行方式,视为重复,需在同一次改动中于最高层级修复;当某类错误已不可能发生,删除对应规则。
限制:资料未提供具体安装命令、支持平台、收费方式与效果数据,暂未提供。