测试 Skill技能列表
测试数据管理Skill test-data-management
测试数据管理技能专注于战略性地生成、管理和确保测试数据的隐私合规。关键词：测试数据、合成数据、PII、GDPR、匿名化、批量生成、事务隔离、性能测试、软件测试、隐私保护。用于支持软件测试过程，提高测试质量，避免法律风险，并优化测试数据基础设施。
测试自动化策略Skill test-automation-strategy
测试自动化策略技能用于设计和优化测试自动化框架，遵循测试金字塔原则（70%单元测试、20%集成测试、10%端到端测试），应用F.I.R.S.T.原则（快速、独立、可重复、自我验证、及时），使用模式如Page Object Model，集成CI/CD管道，管理不稳定测试，旨在提高测试效率、减少缺陷并加速反馈循环。关键词：测试自动化、测试金字塔、CI/CD、Page Object Model、F.I.R.S.T.原则、不稳定测试管理、自动化框架。
夏洛克审查Skill sherlock-review
该技能用于进行证据基础的代码审查，使用演绎推理调查代码问题，验证实现声称、调查bug、确认修复或进行根本原因分析。包含关键词：代码审查、证据调查、Bug分析、修复验证、质量保证。
并发验证器Skill concurrency-verifier
这个技能用于验证并发和并行程序的正确性，检测数据竞争和死锁，确保多线程和分布式系统的可靠性。关键词包括并发验证、数据竞争检测、死锁分析、锁协议验证、内存模型推理、软件测试、并发程序安全。
测试模式Skill testing-patterns
这个技能提供了使用Jest进行软件测试的模式、工厂函数、模拟策略和测试驱动开发工作流的详细指南。它适用于编写单元测试、创建可重用的测试工厂，并遵循行为驱动测试原则。关键词：测试、单元测试、Jest、工厂函数、模拟、TDD、行为驱动测试、软件测试。
Gherkin格式转换工具Skill gherkin-convert
这个技能用于在软件开发中，将规格在Gherkin/BDD格式与其他格式（如EARS、Canonical等）之间进行转换，支持测试自动化和行为驱动开发（BDD）。关键词：Gherkin转换, BDD测试, 规格自动化, 软件开发工具, 测试脚本生成。
测试生成器Skill test-generator
这个技能用于自动化生成软件测试代码，包括单元测试、集成测试、端到端测试和API测试，根据项目规范和现有模式，提高测试覆盖率和代码质量。关键词：测试自动化，代码生成，测试覆盖，软件开发测试。
工作流模式Skill workflow-patterns
此技能提供了一套完整的工作流模式，用于通过测试驱动开发（TDD）的红绿重构循环实现任务，管理阶段检查点，处理git提交，并执行验证协议以确保软件开发质量。关键词包括TDD、git、质量保证、工作流、测试覆盖、软件开发流程。
Hoare逻辑验证器Skill hoare-logic-verifier
使用Hoare逻辑验证程序正确性，包括指定前后条件和循环不变量，生成验证条件，并检查其有效性。适用于程序证明、验证软件开发和循环不变量验证。关键词：程序验证、Hoare逻辑、循环不变量、验证条件生成、软件测试、静态验证。
最小化RustFFICrate表面技能Skill minimize-rust-ffi-crate-surface
这个技能用于最小化Rust FFI crate的暴露接口，通过移除未使用或仅用于C/C++单元测试的符号，优化代码库、减少维护负担并提高安全性。关键词：Rust, FFI, C/C++, 单元测试, 代码清理, 符号删除, 跨语言编程, 测试优化。
综合评审Skill harness-review
这个技能用于自动化多角度评审代码、计划和项目范围，包括安全、性能、质量、可访问性、SEO等检查，帮助团队在软件开发、项目管理和变更过程中确保高质量标准。关键词：代码评审、计划评审、范围分析、安全审查、性能优化、质量保证、自动化评审、AI辅助评审、SEO检查、可访问性检查。
代码审查Skill code-review
这个技能用于自动化审查代码更改或拉取请求，确保符合项目开发指南和质量标准。它涉及Git工具集成，自动检测修改、执行代码质量检查（如格式化和静态分析）、生成详细审查报告，并支持多种模式（如自动检测、显式提交和PR审查）。关键词包括：代码审查、Git、拉取请求、质量保证、自动化测试、开发流程优化、代码规范检查。