测试 Skill技能列表
性能Skill performance
这是一个全面的性能工程技能，专注于软件应用的性能分析、优化与测试。它提供从识别瓶颈、优化代码、进行负载/压力测试到设置监控的全套解决方案。特别适用于前端（如React优化、核心Web指标）、后端（如API、数据库查询优化）和全栈应用的性能提升。关键词包括：性能分析、性能优化、负载测试、压力测试、React性能优化、数据库优化、内存泄漏、核心Web指标、容量规划、性能监控。
Dafny验证器Skill dafny-verifier
Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。
API契约检查器Skill api-contract-checker
API契约检查器是一种工具，用于验证API变更是否符合预期契约，检测破坏性变更，确保向后兼容性。适用于中级开发者，帮助进行API版本控制和迁移。关键词：API, 契约, 检查, 变更, 破坏性, 版本控制, 兼容性。
验证前置检查技能Skill verification-before-completion
这个技能用于在软件开发中，确保在声称任务完成、修复或通过之前运行验证命令并确认输出。它强调证据优先原则，避免虚假完成声明，提升代码质量和项目可靠性。关键词：验证、测试、质量保证、软件开发、完成检查、回归测试、构建验证、需求验证、证据驱动开发。
智能调试专家Skill smart-debug
这是一个AI辅助调试技能，专注于使用Cursor Debug Mode进行结构化调试，包括假设生成、代码检测、日志分析和自动化根因分析。适用于复杂软件故障排查，提升调试效率和准确性。关键词：AI调试、根因分析、代码检测、自动化验证、软件故障排查、调试工具、错误处理。
Jest测试专家Skill jest-testing-expert
Jest测试专家是专门精通Jest测试框架的专业人士，擅长配置管理、高级模拟策略、快照测试、异步测试模式、自定义匹配器和性能优化，确保快速、可靠的测试套件。关键词：Jest测试、配置优化、模拟策略、异步测试、性能调优、TypeScript集成、测试覆盖率。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
模型检查器接口Skill model-checker-interface
模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。
QE缺陷智能Skill "QEDefectIntelligence"
这是一个AI驱动的缺陷预测技能，用于软件质量管理。它通过机器学习模型预测易缺陷代码、分析失败模式并执行根因分析，帮助团队提前识别风险、优化测试优先级并提高软件质量。关键词：缺陷预测、机器学习、根因分析、软件测试、质量管理、AI应用。
TestingStrategySkill testing-strategy
这是一个全面的测试策略，使用Vitest和Playwright工具进行单元、集成和E2E测试，包括最佳实践和覆盖目标。
QA测试计划生成器Skill afrexai-qa-test-plan
这是一个用于生成全面软件质量保证测试计划的工具。它帮助QA架构师和测试工程师根据产品特性、技术栈和团队情况，自动化生成测试覆盖矩阵、测试用例、Bug管理框架、自动化ROI分析、发布检查清单和关键指标。适用于敏捷开发、持续集成/持续交付环境，旨在提升测试效率、覆盖率和软件发布质量。关键词：软件测试，质量保证，测试计划，测试用例，自动化测试，测试覆盖，Bug管理，发布管理，QA指标，敏捷测试。
QA&TestEngineeringCommandCenterSkill afrexai-qa-engine
这是一个全面的测试策略和自动化测试框架，包括从单元测试到端到端测试的全流程测试方法和最佳实践，旨在提高软件质量，减少缺陷，确保代码的可靠性和安全性。