prove-fix 是位于 $fix 之后的修复后验证技能，用于在提交或评审前判断代码修复是否真正正确。默认立场是 SKEPTIC 而非验证者，目标是先尝试证明修复错误或不完整，只有所有攻击失败后才认为其正确。
主要能力：先做改动清单（文件、行号、修改前后、类型：根因修复/次要修复/防御性修复/清理）；再对每处改动生成类似调试栈的证明链：症状→触发路径→根因→修复机制→为何正确→相关路径→边界情况→副作用，每一步都要 file:line 证据；随后按评分规则打分，并运行证伪环节（反例搜寻、测试是否因错误原因通过、未闭合的喂入路径、层级错误质疑、回归注入、为“无需修复”辩护、反向结论）；再做反偏见门与交叉验证（交互、完整性、回归、依赖、性能）；最后给出总体置信度与残留风险。
使用方式：在 $fix 之后使用，修复缺陷或应用修复改动后、评审提交前验证修复正确性。不适用于修复前（改用 $debug-investigate）、新功能验证（$test）或代码质量审查（$code-review）。资料提到 Codex 中以 $skill-name 调用，并要求执行前建立任务跟踪、按声明顺序执行步骤、不跳过或合并步骤；前端相关改动可参考相应项目文档。
限制：必须按协议逐步执行并报告证据，若环境无法执行所需步骤应停下询问用户；未经过真实证伪的改动置信度不能超过 79%；任一改动低于 80% 需标记并建议进一步调查。评分规则、命令与平台适配细节以原始资料为准，未提供的部分暂未提供。