Playwright CLI技能是一种通过命令行自动化真实浏览器的工具，支持导航、表单填写、截图和数据提取等功能，适用于UI流程调试、测试自动化和数据爬取。关键词：浏览器自动化、命令行、测试、UI调试、数据提取。

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

左移测试是一种软件开发测试方法，通过将测试活动提前到需求分析、设计和编码阶段，以预防缺陷并降低修复成本。核心实践包括测试驱动开发（TDD）、行为驱动开发（BDD）、持续集成/持续部署（CI/CD）和测试金字塔模型，适用于敏捷开发、DevOps和早期质量保证场景。关键词：shift-left、测试、TDD、BDD、CI/CD、测试金字塔、缺陷预防、软件开发、质量保证、自动化测试。

此技能是关于使用RuboCop进行Ruby代码分析和质量控制，涵盖内置cops配置、自动修正、性能优化和团队协作。关键词：RuboCop, Ruby, 代码检查, 质量保证, 自动化, 软件开发, 测试

这个技能用于创建自定义Ameba linting规则，用于Crystal代码分析，包括规则开发、AST遍历和测试，帮助强制执行项目特定的代码质量标准和捕捉领域特定代码异味。关键词：Ameba, 自定义规则, Crystal, 代码分析, linting, 静态代码分析, 代码质量, 规则测试。

这是一个自动化测试用例生成技能，专为软件开发项目设计，帮助创建符合标准的测试文件，确保代码覆盖率，提高软件质量。关键词：测试创建、自动化测试、软件测试、测试用例生成、代码覆盖率。

这个技能专注于识别和避免软件测试中的常见反模式，如测试模拟行为、在生产代码中添加仅用于测试的方法、不理解依赖关系就进行模拟等。它强调测试真实行为，提倡在测试前理解依赖，并遵循测试驱动开发（TDD）原则，以提高测试质量和代码可靠性。关键词：测试反模式、模拟测试、TDD、软件测试、测试最佳实践、依赖模拟、测试隔离。

Semgrep是一种快速静态代码分析工具，专门用于检测代码中的安全漏洞和编码标准问题。它支持多种编程语言，易于集成到CI/CD流程中，帮助开发团队在早期发现和修复漏洞。关键词：静态分析、代码安全、漏洞检测、CI/CD集成、Semgrep工具。

这是一个全面的软件质量系统，包含了从测试策略设计到执行、覆盖范围和报告的详细步骤和模板，旨在帮助团队提高软件质量并确保软件的可靠性和安全性。

SMT求解器接口技能提供在形式化验证、程序综合和自动推理中使用SMT（可满足性模理论）求解器的专业指导。该技能涵盖Z3、CVC5等主流求解器的查询生成、理论选择、模型提取和调试分析，帮助开发者解决软件验证、硬件验证、约束求解等复杂问题。关键词：SMT求解器，形式化验证，程序综合，Z3，CVC5，自动推理，约束求解，软件验证。

网页应用测试工具包，使用Playwright进行本地Web应用程序的自动化测试，支持功能验证、UI调试、截图和日志查看，适用于前端开发和质量保证。关键词：网页应用测试、Playwright、自动化测试、前端测试、UI测试、浏览器自动化。

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