invariant-guard - 以正确性为先的算法设计在生成非平凡算法代码前，要求先明确函数契约、不变量、终止性论证、基例、边界情况并进行验证。标签更新于: 2026-10-04算法正确性循环不变量契约边界情况验证能力典型输入典型输出该技能可以做什么定义函数契约陈述循环不变量提供终止性论证指定递归基例枚举适用边界情况编码非法状态验证后置条件生成符合协议的代码输入算法规格函数需求现有实现代码编程语言约束输出函数契约循环不变量终止性论证递归基例边界情况预期算法实现正确性自检要求来源规范: SKILL.md
