该技能用于指导混沌工程和弹性测试，涵盖故障注入、负载压力测试、系统恢复验证等，旨在提升软件系统的稳定性和可靠性。关键词包括：混沌工程、弹性测试、故障注入、负载测试、系统恢复、灾难恢复、断路器测试。

这个技能专注于使用Playwright工具进行网页应用程序的端到端测试，覆盖测试编写、调试、CI/CD集成等，旨在提供稳定、高效的自动化测试解决方案。关键词：Playwright测试，E2E测试，网页自动化，测试策略，CI/CD，测试调试。

这个技能用于自动化执行网站的视觉回归测试、响应式设计验证和WCAG无障碍合规审计，确保网站的质量、可访问性和跨平台一致性。关键词：视觉测试、无障碍合规、响应式设计、自动化测试、质量工程。

这是一个全面的验证和质量保证系统，用于确保代码质量、正确性和可靠性，包括实时真相评分、自动验证检查、自动回滚功能，集成CI/CD，适用于软件开发中的测试和质量控制。关键词：验证、质量保证、代码质量、真相评分、自动回滚、CI/CD、测试。

模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。

该技能提供了一套系统化的调试方法，用于在软件开发中查找和修复bug，包括根因分析、防御性验证和验证流程，旨在提高调试效率和准确性，减少试错时间。关键词：调试、系统化、bug修复、根因分析、验证、软件开发、测试、高效调试。

这个技能用于在软件开发过程中，对比实现代码与规范文档，验证需求对齐，确保构建符合要求。它帮助识别偏差并分类问题严重性，适用于代码审查和质量保证场景。关键词：软件评审、规范验证、需求对齐、代码审查、质量保证、SDLC、验收标准。

这个技能用于自动检测组件类型（如网络、存储、API等），并提供基于上下文的缺口分析，以识别端到端测试文件中缺失的测试覆盖。它支持生成HTML、JSON和文本报告，用于测试覆盖评估和优先级排序。关键词：测试覆盖、缺口分析、自动化、组件检测、E2E测试、报告生成、动态特征提取、Python脚本、DevOps

这个技能是用于高效处理代码评审反馈的实践方法，强调技术验证而非情感表达，帮助开发者在实施前确保代码评审的准确性和效率。关键词包括：代码评审、技术评估、软件质量、反馈处理、验证实施。

这个技能用于执行高质量的Python代码审查，专注于Pythonic模式、类型安全性和可维护性。它适用于审查现有代码修改和新代码，确保代码易于测试和理解。关键词：Python代码审查、代码质量、类型提示、测试性、Pythonic代码、代码优化、软件开发、代码审查工具。

这个技能用于为UI更改提供基础可访问性检查，确保网站在颜色对比、键盘导航、表单标签等方面符合WCAG标准，适用于初级开发者快速上手，提高网站无障碍访问性。关键词：可访问性、UI、检查表、WCAG、前端开发、测试、无障碍设计、SEO优化。

测试专家技能专注于JavaScript/TypeScript应用程序的全面测试、调试和代码分析，包括单元测试、集成测试、端到端测试、安全测试、性能测试，提供系统化方法修复bug、提高测试覆盖率，并涵盖多种编程语言如Python、Go、Rust的测试模式。关键词：JavaScript测试、TypeScript测试、单元测试、集成测试、E2E测试、调试、代码分析、测试覆盖率、安全测试、性能测试、视觉回归测试、pytest、Testify、Playwright、Percy、Chromatic、SEO优化、软件质量保证、测试自动化、前端测试、后端测试、移动测试、DevOps测试。