测试驱动开发是一种严格的软件开发方法学，强调先编写失败的单元测试，再编写最少量的实现代码使其通过，最后进行重构优化。其核心是红绿重构循环，旨在提升代码质量、可维护性和设计。关键词：TDD，测试驱动开发，红绿重构，单元测试，软件设计，敏捷开发，代码质量，重构。

这个技能详细指导如何配置和使用Mocha测试框架，涵盖报告器设置、配置文件管理、插件集成和持续集成。关键词：Mocha配置，JavaScript测试，单元测试，CI/CD集成，测试框架，代码质量，软件开发。

代码审查技能，用于指导团队进行高效、规范的代码审查。包含审查理念、三遍审查法、审查标准和反馈风格。关键词：代码审查，代码质量，PR审查，团队协作，软件开发流程，代码规范，审查标准，反馈技巧。

这个技能用于分析软件项目中的测试金字塔健康度，通过统计单元测试、集成测试和端到端测试的分布，提供测试组合评估和优化建议。关键词包括测试金字塔、单元测试、集成测试、端到端测试、软件测试、测试策略、DevOps、自动化测试、质量保证、测试覆盖率。

该技能用于审计代码库中的文档覆盖率、新鲜度和质量，通过自动化工具和最佳实践来发现和修复文档缺口，确保文档作为生产工件，支持QA流程。关键词：文档审计、覆盖率、新鲜度、QA、自动化、CI/CD、运行手册、API文档。

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

这个技能旨在帮助用户利用ast-grep工具进行结构性代码搜索和分析。它可以将自然语言查询转换为ast-grep规则，用于在代码库中查找特定的代码模式、语言结构或具有特定AST特征的代码。适用于需要执行复杂代码查询的场景，如搜索所有使用await的异步函数或定位具有特定参数的方法调用。关键词：ast-grep, 代码搜索, AST, 抽象语法树, 结构性匹配, 代码分析。

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

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

该技能用于并行审查计划文件或内容，通过多个专业代理进行多角度评估，适用于代码审查、项目计划评审等场景，关键词包括计划审查、并行处理、代理审核、Rails代码审查、代码简单性、自动化测试。

超质量保证是一个自动化工具，用于在软件开发过程中执行迭代修复和验证循环。它通过运行测试、构建、代码检查或类型检查命令，诊断失败原因，自动应用修复，并重新验证，最多进行5个循环。它帮助开发人员快速识别和解决代码问题，提高软件质量，关键词包括迭代修复、验证循环、自动化测试、代码检查、软件开发、质量保证。

这个技能用于通过inference.sh平台实现浏览器自动化，专为AI代理设计，支持网页导航、元素交互、数据提取和自动化测试。核心功能包括网页抓取、表单填写、截图录制和JavaScript执行。关键词包括：浏览器自动化、AI代理、网页抓取、表单填写、截图录制、Playwright、自动化测试、数据提取、web自动化、智能代理浏览。