测试 Skill技能列表
测试驱动开发Skill test-driven-development
测试驱动开发（TDD）是一种软件开发实践，强调先编写测试用例再实现代码，通过‘红-绿-重构’循环确保代码质量、减少错误和促进设计改进。关键词：测试驱动开发、TDD、单元测试、自动化测试、红绿重构、代码质量、软件开发、测试优先、测试用例、错误预防。
代码审查（Jujutsu）Skill code-review-jj
这个技能专注于使用Jujutsu工具进行自动化和系统化的代码审查，旨在评估代码质量、提供改进建议并确保代码的可读性、可维护性和效率，适用于软件开发流程中的质量保证环节。关键词：代码审查、代码质量分析、Jujutsu工具、DevOps、测试工具、软件质量保证。
根因追溯Skill root-cause-tracing
根因追溯技能用于在软件开发过程中，通过向后追踪调用栈和执行流程，识别错误、无效数据或不正确行为的原始来源。适用于调试复杂问题、调查数据损坏、查找级联故障根因等场景，关键词包括调试、根因、追溯、错误来源、数据流追踪。
Pylint集成Skill pylint-integration
这个技能是关于Pylint代码分析工具的CI集成，包括插件配置、编辑器集成和性能优化。关键词：Pylint, 代码质量, CI/CD, Python开发。
错误修复计划生成Skill bug
这个技能用于在软件开发过程中生成全面的错误修复计划，包括根本原因分析、重现步骤和验证命令，帮助团队有效修复错误并防止回归。关键词：bug修复、错误分析、根本原因、软件测试、DevOps、计划生成、代码调查。
超时测试Skill timeout-test
这个技能用于在软件测试或系统开发中处理超时情况，确保程序在指定时间内响应，适用于性能测试、错误处理和资源管理。关键词：超时测试、软件开发、性能管理、错误处理。
前后验证技能Skill before-after
前后验证技能是一种软件开发验证技术，用于通过捕获实施前后的系统状态，证明代码更改实际改变了系统行为。它基于 delta-proof 验证，适用于新功能添加、bug 修复、行为变化等场景，确保变化可追溯和验证。关键词：前后验证、delta-proof、软件开发、系统验证、测试、行为证明、loom 计划、验证对、状态转换。
基于属性的测试工具Skill property-based-tester
基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。
Dafny验证器Skill dafny-verifier
Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。
开发代码质量检查Skill qlty-during-development
该技能用于在软件开发过程中运行质量检查，通过lint检查和代码格式化，及早发现并修复代码问题，提高开发效率。关键词：代码质量、开发过程、lint检查、代码格式化、早期问题捕获。
行为测试技能Skill behavior-testing
行为测试技能是一种专注于验证软件应用功能行为的测试方法，确保API调用、状态管理、错误处理和安全性的正确性。它弥补了传统渲染测试的不足，提升测试覆盖率和应用质量。关键词：行为测试、API测试、状态持久性、错误边界、安全测试、软件测试、功能验证。
自动化E2E测试修复技能Skill dyad:deflake-e2e-recent-commits
该技能用于自动检测和修复在持续集成（CI）环境中的端到端（E2E）测试的不稳定性问题。通过分析主分支的CI运行和特定作者的拉取请求（PR），识别出反复失败的测试，并应用最佳实践进行修复，以提高测试可靠性和软件交付质量。关键词：E2E测试、自动化测试、CI/CD、测试稳定性、Playwright、缺陷修复、持续集成、测试自动化、软件质量