测试 Skill技能列表
SMT求解器接口Skill smt-solver-interface
SMT求解器接口技能提供在形式化验证、程序综合和自动推理中使用SMT（可满足性模理论）求解器的专业指导。该技能涵盖Z3、CVC5等主流求解器的查询生成、理论选择、模型提取和调试分析，帮助开发者解决软件验证、硬件验证、约束求解等复杂问题。关键词：SMT求解器，形式化验证，程序综合，Z3，CVC5，自动推理，约束求解，软件验证。
RSpec基础技能Skill rspec-fundamentals
这个技能用于教授RSpec测试框架的核心知识，涵盖描述块、上下文、测试用例、let变量和基本匹配器，适用于行为驱动开发(BDD)测试。关键词：RSpec, 测试框架, BDD, Ruby测试, 自动化测试, 软件测试, 单元测试, 集成测试。
Playwright测试架构技能Skill playwright-test-architecture
这个技能用于设置和组织Playwright测试项目，包括配置管理、测试结构设计、并行执行优化、重试策略和环境适配等，帮助构建可扩展、可维护的自动化测试套件。关键词：Playwright测试，测试架构，自动化测试，前端测试，配置管理，并行执行，重试策略，测试报告。
代码复杂度分析器Skill code-complexity-analyzer
代码复杂度分析器是一款用于自动化评估软件代码质量的工具。它能够计算圈复杂度、认知复杂度、代码行数等关键指标，识别代码异味和重复代码，评估技术债务和可维护性指数。该工具适用于代码重构、性能优化和系统设计评审等场景，帮助开发团队提升代码质量、降低维护成本。关键词：代码复杂度分析，圈复杂度，认知复杂度，代码异味检测，重复代码检测，技术债务评估，可维护性指数，代码质量工具，软件度量，重构辅助。
Jest测试模式Skill jest-testing-patterns
Jest测试模式技能专注于使用Jest框架进行全面的软件测试，包括单元测试、模拟函数、间谍方法、快照测试和断言技术。适用于前端开发、后端开发等领域的测试覆盖，提升代码质量和可维护性。关键词：Jest、测试、单元测试、模拟、间谍、快照、断言、前端测试、后端测试、自动化测试。
Playwright夹具与钩子Skill playwright-fixtures-and-hooks
本技能教授如何使用Playwright测试框架的夹具系统和生命周期钩子来管理测试状态、创建可重用基础设施、实现高效测试设置和拆卸。适用于前端开发测试自动化，关键词包括：Playwright、夹具、钩子、测试自动化、前端测试、测试框架。
PlaywrightBDDGherkin语法Skill playwright-bdd-gherkin-syntax
这个技能提供了在Playwright BDD中使用Gherkin语法编写和管理测试的全面知识。它覆盖了从基础结构到高级特性的所有方面，如场景大纲、标签组织、背景设置和国际化的支持。关键词包括Gherkin语法、Playwright测试、BDD实践、自动化测试、软件质量保证、行为驱动开发、测试框架、代码生成、端到端测试。
弱内存模型验证器Skill weak-memory-model-verifier
该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。
自定义Clippy开发Skill clippy-custom
此技能用于开发自定义Clippy lints、实现lint passes和为Clippy项目贡献代码，以维护和提升Rust代码质量与标准。关键词：Clippy，Rust，代码检查，lint开发，贡献，代码标准，Rust开发工具。
WebAssembly验证器Skill webassembly-verifier
WebAssembly 验证器是一种技能，用于验证WebAssembly模块的安全性、正确性和安全属性，确保模块在加载和执行时无错误。适用于构建安全工具、实现沙箱环境、验证内存安全和控制流等场景。关键词：WebAssembly, 验证, 安全, 沙箱, 类型检查, 堆栈验证, 内存安全。
PlaywrightBDD配置Skill playwright-bdd-configuration
这个技能用于配置Playwright行为驱动开发项目，通过设置defineBddConfig()函数，管理特征文件和步骤文件路径，并与Playwright测试框架集成，支持Gherkin语法的BDD测试。关键词包括Playwright BDD、行为驱动开发、测试自动化、Gherkin、配置管理、测试框架、项目设置。
Storybook交互测试函数Skill storybook-play-functions
Storybook交互测试函数是一种前端开发测试技能，用于通过编写play函数在Storybook故事中自动化测试React等组件的用户交互、状态变化和边界情况。它支持模拟真实用户行为、集成Testing Library进行语义查询、处理异步操作和验证错误状态。关键词包括Storybook、交互测试、前端测试、自动化测试、组件测试、Testing Library、play函数。