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

该技能专注于在 .NET 开发中使用 TestContainers 库进行集成测试。通过创建和管理 Docker 容器，实现对真实基础设施（如 SQL Server、PostgreSQL 数据库、RabbitMQ 消息队列和 Redis 缓存）的测试，避免模拟对象，提高测试的可靠性和准确性。适用于 CI/CD 流程，支持 xUnit 框架，帮助开发者确保代码与生产环境的兼容性。关键词包括：TestContainers、.NET、集成测试、Docker、数据库测试、消息队列、Redis、RabbitMQ、CI/CD、xUnit。

这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。

代码验证沙箱是一个智能教学辅助工具，专门用于验证编程教材中的代码示例。它采用4层教学法（手动基础、AI协作、智能设计、编排协调），根据不同的教学层级自动选择验证深度和策略。支持Python、Node.js、Rust等多种编程语言，提供语法检查、运行时验证、输出匹配、性能测试等功能。适用于教育出版、在线课程开发、编程教学材料验证等场景，确保代码示例的准确性和教学效果。 关键词：代码验证、教学辅助、编程教育、Python验证、Node.js测试、Rust检查、4层教学法、智能验证、教育技术、代码质量

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

该技能用于高效执行软件实现计划，通过代理团队或子代理并行执行独立任务，遵循行为驱动开发（BDD）和测试驱动开发（TDD）原则。关键词：执行计划、代理团队、BDD、TDD、任务批处理、软件开发、测试验证。

代码审查标准框架与检查清单，提供系统化的代码质量评估流程。包含安全审查、TypeScript质量检查、性能优化、测试覆盖、架构合规等全方位标准。适用于团队代码审查、Pull Request评审、代码质量保障。关键词：代码审查、代码质量、安全审计、TypeScript检查、性能优化、测试覆盖、架构模式、审查清单、开发规范、代码评审。

这是一个专业的用户体验审计技能，专门用于评估Web应用程序在长时间运行操作（30秒以上）时的等待状态。通过浏览器自动化技术，系统性地分析加载状态、进度指示器、用户反馈机制等关键UX元素，生成包含截图、清单评估和优先级建议的全面审计报告。关键词：用户体验审计、加载状态分析、进度指示器、浏览器自动化、UX优化、Web应用性能、等待时间评估、前端测试。

这个技能提供了一个Python代码反模式的检查清单，帮助开发者在代码审查、调试、教学等场景中避免常见错误，提升代码质量。关键词：Python、反模式、代码审查、调试、最佳实践、软件测试、代码质量、开发效率。

本技能专注于提供系统化的故障排除和问题诊断方法，适用于技术问题、过程故障、系统问题或一般障碍。通过结构化步骤如理解问题、收集信息、生成假设、系统化测试和根因分析，帮助用户识别和解决各类问题。关键词：故障排除、调试、问题诊断、根因分析、系统化方法、日志分析、错误解决。

此技能用于配置和管理TestNG框架的并行测试执行，涵盖线程池设置、套件级并行、方法级并行、同步模式、性能优化等，旨在提升测试效率并确保线程安全。关键词：TestNG, 并行测试, 线程池, 同步, 性能优化, 测试自动化, 软件测试。

这个技能用于验证并发和并行程序的正确性，检测数据竞争和死锁，确保多线程和分布式系统的可靠性。关键词包括并发验证、数据竞争检测、死锁分析、锁协议验证、内存模型推理、软件测试、并发程序安全。