spec-verify 工具通过变异测试检查 AI 生成的测试是否有效，区分“空泛测试”和“不可验证”情况，防止虚假验证。它针对每个 Given/When/Then 块生成测试和定向变异，若测试在变异后仍通过则标记为 VACUOUS。该工具强调结构检查不等于真实性检查，并支持人工签核，确保测试真正覆盖功能，避免生产环境中的潜在缺陷。