SMT 求解器接口技能用于与SMT（Satisfiability Modulo Theories）求解器交互，实现程序正确性验证、约束求解、自动定理证明等功能。关键词：SMT求解器、程序验证、自动推理、Z3、约束编码。

这个技能提供了使用 Vitest 和 @cloudflare/vitest-pool-workers 进行 Cloudflare Workers 全面测试的指南。它覆盖了测试设置、绑定模拟（如 D1 数据库、KV 命名空间、R2 存储、Durable Objects 等）、集成测试、覆盖率跟踪和错误预防。适用于无服务器函数测试，帮助开发者确保代码质量。关键词：Cloudflare Workers、测试、Vitest、无服务器、绑定模拟、单元测试、集成测试。

此技能提供全面的测试策略指导，帮助开发人员选择和实施单元测试、集成测试、端到端测试和契约测试。涵盖测试金字塔平衡、多语言支持（如TypeScript、Python、Go、Rust）、测试数据管理、CI/CD集成和现代实践（如属性测试），以提高软件质量和开发效率，关键词包括测试策略、单元测试、集成测试、端到端测试、契约测试、测试金字塔、CI/CD、Python、TypeScript、Go、Rust、测试数据管理。

负载测试生成器是一个自动化工具，能够根据OpenAPI规范快速生成k6、Locust和Gatling等主流负载测试框架的测试脚本。该技能支持测试场景设计、虚拟用户建模、渐进负载配置、响应时间阈值设置和错误率监控，帮助开发者和测试工程师高效进行性能测试、压力测试和系统稳定性验证。关键词：负载测试、性能测试、OpenAPI、k6脚本、Locust测试、Gatling场景、自动化测试、API测试、压力测试、性能优化。

这个技能用于执行全面的软件测试工作流，包括单元测试、集成测试和E2E测试。它通过并行执行快速测试来提供快速反馈，并确保在运行缓慢的E2E测试之前所有基础测试通过。关键词：软件测试，单元测试，集成测试，E2E测试，并行执行，工作流，自动化测试，测试套件，快速反馈。

符号执行引擎是一种用于程序分析的技能，主要用于自动化测试生成、bug检测和路径探索。它通过创建符号值、系统化探索路径条件、生成约束并利用SMT求解器来构建测试用例。关键词包括符号执行、测试生成、路径覆盖、bug检测、程序验证、SMT求解、路径探索、约束求解。

这个技能用于自动化QA回归测试，通过Playwright构建可重用的测试技能，覆盖登录流程、仪表板检查、用户创建等常见测试场景，确保测试的一致性和效率。关键词：自动化测试、回归测试、Playwright、QA、测试技能、持续集成、Web测试。

验证循环技能是一个自动化代码验证系统，专为Claude Code会话设计，通过构建验证、类型检查、代码风格审查、测试套件、安全扫描和差异审查等阶段，确保软件开发质量，适用于PR前质量门禁、CI/CD集成和代码重构后的质量控制，关键词包括代码验证、自动化测试、质量保证、软件开发、Claude Code、测试套件、安全扫描。

这个技能专注于创建Markdownlint的自定义规则，包括定义规则对象结构、集成markdown-it和micromark解析器、报告错误并提供自动修复功能。它用于增强Markdown文档的linting能力，支持项目特定的文档标准、验证内容模式、确保一致性，并可用于自动化文档质量检查和团队编码标准实施。关键词：Markdownlint, 自定义规则, 规则开发, 解析器集成, 错误报告, 自动修复, 文档质量, 软件开发, 自动化测试。

这个技能用于强制执行严格的测试驱动开发（TDD）实践，确保在编写代码之前先编写测试，遵循红-绿-重构循环，并避免无效的理性化。它适用于新功能、错误修复和重构，提供验证清单和最佳实践，以提高代码质量和开发效率。关键词：测试驱动开发，TDD，单元测试，红绿重构，代码测试，软件开发，自动化测试，质量保障。

这个技能用于配置Playwright行为驱动开发项目，通过设置defineBddConfig()函数，管理特征文件和步骤文件路径，并与Playwright测试框架集成，支持Gherkin语法的BDD测试。关键词包括Playwright BDD、行为驱动开发、测试自动化、Gherkin、配置管理、测试框架、项目设置。

这个技能是一个自动化代码问题检测工具，用于在项目中自动发现代码问题、不规范实践和潜在bug，并提交GitHub Issue，以提高代码质量和维护性。关键词：代码质量、自动化测试、GitHub Issue、问题检测、软件开发、DevOps。