该技能用于基于任务计划实现软件功能和编写代码，包括测试驱动开发(TDD)、质量保证、LSP工具使用、避免硬编码和桩实现等。关键词：代码实现、功能开发、测试创建、软件开发、编程、TDD、LSP、质量保证。

此技能专注于软件开发中的构建验证、错误恢复和评审修复应用。用于处理测试失败、lint错误、CI中断等情况，确保代码质量和项目稳定性。关键词：构建验证、错误修复、测试、CI/CD、代码质量、软件开发、自动化验证。

这个技能是一个多角度审查工具，专门用于代码、计划和范围的审查。它集成了安全性、性能、质量、可访问性等检查，帮助开发团队提高代码质量、确保项目可行性和控制范围蔓延。关键词：代码审查、计划审查、范围分析、安全性检查、性能优化、质量保证、DevOps工具。

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

该技能用于创建最小化的、有针对性的代码补丁计划，专注于修复特定问题，避免范围蔓延。适用于从代码审查中识别出的特定问题修复，创建聚焦的bug修复，解决阻塞问题而不引入范围蔓延。关键词：补丁设计、最小化修复、代码修复、软件开发、测试验证。

深度搜索模式是一种代码库搜索工具，用于执行彻底的代码分析，帮助开发者快速定位代码中的特定模式、概念或实现，提高代码维护和开发效率。关键词包括：深度搜索、代码库分析、软件开发工具、代码审查、测试辅助。

这是一个精炼类型检查器技能，用于通过添加谓词到类型来实现属性验证、契约检查和轻量依赖类型。它使用 SMT 求解器进行验证和推理，适用于编程语言类型系统和形式化验证领域。关键词：精炼类型、类型检查、谓词、SMT 求解器、验证、契约、依赖类型、属性验证、静态分析、编程语言。

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

这个技能提供了使用Playwright进行Web自动化测试的最佳实践指南，涵盖测试组织、页面对象模型、定位器策略、认证处理、文件上传、等待策略、网络模拟、CI/CD集成、调试技巧和修复不稳定测试。关键词：Playwright，自动化测试，Web测试，UI测试，端到端测试，测试最佳实践。

测试驱动开发是一种软件开发实践，用于确保代码质量和行为正确性。通过先写测试、观察失败、实现代码和重构，提高软件的可靠性和可维护性。关键词：测试驱动开发、TDD、软件测试、自动化测试、代码验证、敏捷开发、测试先行。

规模游戏是一种测试方法，通过在极端规模（如1000倍增大或减小、瞬时或长达一年）下测试系统，来揭示正常规模下隐藏的根本真相。它用于不确定可扩展性、边缘案例不清晰或验证生产环境架构的场景。关键词包括：极端测试、可扩展性、架构验证、规模游戏、软件开发测试。

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