这个技能用于验证和改进软件实施计划中的测试方法。它涉及审查测试计划、遵循测试指南、识别缺失测试、添加测试和改进测试描述。关键词包括测试验证、实施计划、测试指南、代码覆盖率、错误条件、边缘情况、测试框架生成。

这个技能用于在代码修改后自动执行必要的质量检查命令，包括TypeScript类型检查、Biome代码风格检查和测试运行，以确保代码质量，同时遵循务实开发理念，避免过度检查。关键词：代码检查、质量保证、开发流程、TypeScript、Biome、测试、自动化、DevOps。

此技能用于规划和评估测试自动化策略，包括投资回报率分析、自动化候选选择、框架评估和维护性架构。适用于软件开发中的测试阶段，关键词：测试自动化、自动化策略、ROI分析、框架选择、测试维护。

循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。

异步 REPL 协议是一种技术规范，主要用于在使用 Agentica 的异步 REPL 工具进行软件测试时，指导如何正确使用 `await` 处理 Future-returning 工具，并强调每响应中使用单个代码块以避免执行错误。关键词：异步 REPL，测试，Python 代码块，Future-returning 工具，Agentica，软件开发，协议。

这个技能是一个智能路由器，专注于测试模式和最佳实践，帮助开发者编写单元测试、创建模拟、测试边缘情况等，适用于 Swift Testing 和 XCTest 框架。关键词包括测试开发、单元测试、Swift Testing、XCTest、模拟测试、边缘测试。

这个技能用于自动化浏览器操作，打开新标签页并导航到指定URL，保持当前页面打开，支持多任务处理和网页测试。适用于自动化测试、网页开发和日常浏览场景。关键词：浏览器自动化，新标签页，URL导航，多任务，网页测试，SEO优化。

系统性调试是一种四阶段的调试框架，用于软件开发和测试中，确保在修复bug前识别根本原因，避免盲目修复，提高调试效率和代码质量。关键词：调试、系统性调试、根因分析、bug修复、测试框架、软件测试。

根因追踪是一种软件调试技能，用于系统地通过调用栈向后追踪bug，定位原始触发点，避免仅治标。适用于软件开发中的错误处理和测试，提升代码质量和可靠性。关键词：根因追踪，bug调试，调用栈，软件测试，错误追踪，纵深防御。

根因追溯技能用于在软件开发过程中，通过向后追踪调用栈和执行流程，识别错误、无效数据或不正确行为的原始来源。适用于调试复杂问题、调查数据损坏、查找级联故障根因等场景，关键词包括调试、根因、追溯、错误来源、数据流追踪。

这个技能用于自动化执行代码审查，覆盖风格、可读性和安全等方面，提供结构化反馈。它专注于重要问题如错误和安全风险，适用于拉取请求和合并请求审查，以提升代码质量和团队协作效率。关键词：代码审查，自动化，安全编码，可读性，单元测试。

测试驱动开发（TDD）是一种软件开发实践，强调先编写测试用例再实现代码，通过‘红-绿-重构’循环确保代码质量、减少错误和促进设计改进。关键词：测试驱动开发、TDD、单元测试、自动化测试、红绿重构、代码质量、软件开发、测试优先、测试用例、错误预防。