Playwright浏览器自动化技能用于自动化浏览器测试、网页数据抓取和用户工作流程测试，支持跨浏览器（如Chrome、Firefox、Safari）的可靠测试能力。关键词：浏览器自动化、端到端测试、网页抓取、跨浏览器测试、视觉回归测试、Playwright工具。

此技能提供了一套完整的工作流模式，用于通过测试驱动开发（TDD）的红绿重构循环实现任务，管理阶段检查点，处理git提交，并执行验证协议以确保软件开发质量。关键词包括TDD、git、质量保证、工作流、测试覆盖、软件开发流程。

这个技能是一个多角度审查工具，专门用于代码、计划和范围的审查。它集成了安全性、性能、质量、可访问性等检查，帮助开发团队提高代码质量、确保项目可行性和控制范围蔓延。关键词：代码审查、计划审查、范围分析、安全性检查、性能优化、质量保证、DevOps工具。

测试驱动开发（TDD）是一种软件开发实践，要求在编写实现代码之前先编写失败的测试用例，确保测试通过最小代码实现，最后进行重构以提高代码质量。关键词：测试驱动开发、TDD、单元测试、红绿重构、测试先行、自动化测试、软件工程、代码质量、敏捷开发、错误预防。

这个技能用于自动审查Rust编程语言中crate或模块的文档，确保其符合指定的标准和指南。关键词：Rust，文档审查，质量保证，代码标准，自动化工具，文档检查，Rust编程，代码合规。

这个技能用于审计Claude Code中的状态行配置，评估脚本质量、跨平台兼容性和JSON处理正确性。关键词：状态行审计、跨平台兼容性、JSON输入处理、终端输出验证、脚本质量测试、自动化审计工具。

这是一个关于软件测试的专家技能，提供跨单元测试、集成测试和端到端测试的分层策略、执行指导和持续集成规划。它帮助开发者和测试工程师设计测试用例、规划测试矩阵、编写可维护的测试代码，并确保测试的可靠性、高效性和可重复性。关键词：软件测试，单元测试，集成测试，端到端测试，测试策略，测试矩阵，CI/CD，自动化测试，测试最佳实践。

时序逻辑转换器是一个专注于形式化验证领域的专业工具，用于在多种时序逻辑形式化方法（如LTL、CTL、CTL*）之间进行精确的转换与翻译，并能将自然语言描述的系统属性自动生成对应的时序逻辑公式。它提供属性模式模板、公式等价性检查、否定范式转换等核心功能，并集成了Spot、GOAL等主流验证工具链，旨在辅助工程师和研究人员高效完成硬件、软件及协议的系统规约与验证工作。 关键词：时序逻辑，形式化验证，LTL转换，CTL，属性规约，Büchi自动机，公式等价，模型检测，系统验证

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

这个技能是一个结构化的工作流，用于在软件开发中完成一个开发分支。它指导用户在测试通过后，通过呈现合并到主分支、创建Pull Request、保持分支或丢弃工作等选项，来集成或管理代码。关键词包括：开发、测试、Git、合并、Pull Request、工作流、清理。

这个技能用于让多个专业化代理并行审查计划，提高审查效率和准确性，适用于代码审查、项目计划评估等场景。关键词包括：计划审查、并行处理、代理审查、代码审查、软件开发、Rails框架、审查效率。

这个技能用于在软件开发开始前，通过HTSM v6.3质量模型、风险风暴和可测试性分析，进行质量准则会话的构思阶段分析。它采用5层浏览器级联方法（Vibium → agent-browser → Playwright+Stealth → WebFetch → WebSearch-fallback）来自动获取网站内容，并并行运行多个代理进行质量评估、风险评估、需求验证等，最终生成综合报告和推荐决策。关键词：HTSM v6.3, 风险风暴, 可测试性分析, 质量工程, 浏览器级联, 并行代理, 测试策略。