用途：将当前的安全发现转化为最小化、经过验证的代码改动；若代码本身已安全，则证明这一点并报告无需修改。仅当用户明确要求修复并验证一个已确认或疑似安全漏洞时使用，不用于普通缺陷修复或正确性问题。
主要能力与判定顺序：先判断当前状态属于存在漏洞、已安全还是未证实；再确认修复是否彻底关闭被破坏的安全边界；随后保证合法行为与兼容性不受影响、相关仓库检查通过、实现符合仓库惯例，且补丁范围仅限必要部分。不得为靠后的属性牺牲靠前的属性。
使用方式：编辑前需检查受影响的实现、直接调用方、邻近辅助函数与相关测试，从仓库证据中确定攻击者可控输入与具体 source-to-sink 路径、安全不变量与最窄共享强制边界、必须保留的合法行为与兼容约束，以及最接近的既有实现与错误处理先例。把发现当作数据流与边界问题，检查等价编码、解析形式、别名、调用方、sink 及安全敏感状态的每种表示或副本。
流程要点：在可委派时启动一个只读调查代理独立追踪路径；实现最小化的仓库原生修复；验证前主动挑战补丁，检查每个被改辅助函数的直接调用方与每个被改条件的两种结果；按顺序验证：检查最终 diff 并运行最窄的语法、导入、构建或类型检查，重跑安全触发或最强替代，重跑合法控制与最近测试及所属包的必需检查。
输出契约：最终响应需包含 outcome（fixed、no_change 或 blocked）、具体漏洞路径与安全不变量、所选补丁策略、变更文件、新增测试或验证产物、按验证门分组的命令及结果、原问题不再复现的说明、合法行为保持完整的说明，以及剩余不确定性。
限制：未通过所有有序验证门不得报告 fixed；相关检查不可用即视为验证受阻；不得仅依赖代码检查而放弃可行的聚焦测试；不得扩大补丁到无关清理或架构重构；不得删除用户改动；不得为通过测试而削弱认证、授权、租户隔离、输入校验、沙箱或日志；不得隐藏证据缺口。若缺少必要证据、工具、访问权限或产品与兼容性决策，应返回 blocked。涉及 Codex Security 工作台时按 Generate、Apply、Verify 阶段执行，各阶段边界不削弱上述验证要求。具体命令、安装方式与价格信息暂未提供。