invariant-test-review - 审查测试以验证不变量证明有效性通过检查设置、断言和比较器来验证测试是否真正证明了其声称的不变量标签更新于: 2026-03-22测试测试审查不变量状态机质量保证能力典型输入典型输出该技能可以做什么审查测试文件审查测试函数识别声称的不变量审计观察表面添加区分配对审计预言机语义确认失败模式按严重程度分类发现输入测试文件路径测试函数名称工作目录输出包含发现的审查报告建议的测试重写严重程度分类要求Rust 测试环境测试文件访问权限来源规范: SKILL.md
