invariant-guard - 在算法代码前明确正确性契约算法正确性循环不变量契约★ 18 · 更新于 2026-10-04在生成或审查非平凡循环或递归前，要求明确函数契约、不变量、终止性论证、基例和边界情况。⚙ 明确函数契约⚙ 编写循环不变量⚙ 论证循环终止
software-quality - 软件质量战略测试覆盖分析测试质量保证代码覆盖率测试分析★ 650 · 更新于 2026-02-24分析测试覆盖率，识别缺口，并建议战略性测试用例⚙ 分析测试覆盖率⚙ 识别测试缺口⚙ 建议测试用例
