这个技能用于分析测试自动化投资回报率（ROI），基于测试案例的价值和努力推荐自动化优先级，帮助优化测试策略和投资决策。关键词：自动化ROI、测试案例、优先级排序、投资分析、测试自动化。

此技能通过Claude和Codex实现双重审查机制，专注于步骤级和任务级的质量验证，以提升软件开发或任务执行过程中的准确性和可靠性。关键词包括：双重审查、步骤审查、任务审查、质量验证、代码审查、Claude、Codex、软件测试、质量保证。

值分析技能是一种静态分析技术，用于计算程序变量在每个程序点的具体或抽象值，实现常量传播、区间分析和bug检测等功能。关键词包括值分析、静态分析、抽象解释、程序优化、常量传播、bug检测、编译器优化、程序验证。

完成前验证是一种技能，用于在软件开发和其他领域，当准备声称工作完成、修复或通过时，必须运行验证命令（如测试、代码检查、构建等）并基于实际输出确认状态，避免未经证实的声明。关键词：验证、测试、构建、代码检查、质量保证、软件开发、DevOps。

这个技能用于在软件开发和其他技术任务中，在声称工作完成前运行验证命令并检查输出，以确保正确性和可靠性。它强调证据先于声明，包括测试、构建和代码检查等步骤，以提高质量控制。关键词：验证、测试、构建、完成前检查、质量控制、软件开发最佳实践、证据驱动开发、错误预防、回归测试。

解决方案比较器是一个用于算法测试和性能分析的技能工具。它能够对多个算法解决方案进行正确性验证、性能基准测试、压力测试和最小失败案例查找。主要功能包括：代码测试、性能对比、差异分析、内存监控和时间复杂度验证。适用于算法竞赛、软件开发测试、性能优化和代码评审等场景。关键词：算法测试、性能比较、正确性验证、压力测试、基准测试、代码分析、最小反例、时间复杂度、内存使用、测试自动化。

BATS测试脚手架是一个用于自动化生成BATS测试框架的工具，专门为Shell脚本提供单元测试和集成测试支持。它能够快速创建测试文件、设置和清理夹具、实现自定义断言、配置模拟助手，并确保测试隔离，适用于Shell脚本开发、CLI工具测试和跨平台兼容性验证。关键词：BATS测试、Shell脚本测试、自动化测试框架、单元测试、集成测试、测试脚手架、CLI测试、模拟测试、测试夹具。

终止性分析器是用于证明算法和程序终止性的专业工具，通过秩函数、良基序和自动化分析技术，帮助开发者验证递归、循环等结构的正确性。关键词：算法终止性证明，秩函数，良基序，递归分析，循环终止，程序验证，自动化分析，形式化方法

一站式代码审计、单元测试生成、执行修复与变异自检闭环技能，强调测试的目的是暴露错误代码而非追求全绿，通过模块画像驱动测试深度，产出缺陷报告与总结。关键词：Python单元测试、代码审计、测试生成、缺陷修复、变异测试、ATF、测试闭环、质量保障。

这个技能提供了使用 Vitest 和 @cloudflare/vitest-pool-workers 进行 Cloudflare Workers 全面测试的指南。它覆盖了测试设置、绑定模拟（如 D1 数据库、KV 命名空间、R2 存储、Durable Objects 等）、集成测试、覆盖率跟踪和错误预防。适用于无服务器函数测试，帮助开发者确保代码质量。关键词：Cloudflare Workers、测试、Vitest、无服务器、绑定模拟、单元测试、集成测试。

这个技能基于Use Case 2.0方法论，用于捕获软件系统的功能需求并文档化参与者与系统之间的交互。它支持敏捷开发，包括用例规范、流程图、测试场景等，适用于需求分析、测试设计和系统设计。关键词：用例编写, Use Case 2.0, 需求捕获, 软件测试, 敏捷开发。

本技能提供了Pylint检查器的全面指南，涵盖从安装配置到高级开发的所有方面，包括内置检查器、自定义检查器和检查器开发。用于提高Python代码质量，适用于测试、代码审查和CI/CD集成，关键词：Pylint, Python, 代码质量, 检查器, 测试, 开发, 代码审查, CI/CD。