该技能用于自动化验证软件开发项目中文档与测试的一致性，检查API导出是否与文档对齐，确保测试覆盖新修改的函数，并建议运行相关测试命令。关键词：文档验证、测试检查、API对齐、软件开发工具、自动化测试。

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

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

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

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

这个技能用于在软件开发过程中，交互式地分类和处理代码审查发现，允许用户批准、跳过或设置优先级，优化修复工作流。特别适用于Phoenix/Elixir项目，帮助团队高效管理缺陷和提高代码质量。关键词：代码审查、triage、交互式、Phoenix框架、Elixir、缺陷管理、工作流自动化、质量保证。

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

系统化调试技能是一个四阶段调试框架，用于在软件开发中确保找到根本原因后再进行修复，避免随机猜测和症状修复。它包括根因调查、模式分析、假设测试和实施阶段，提高调试效率、减少错误并支持SEO关键词如调试、根本原因、系统化、软件测试、错误修复和质量保证。

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

此技能用于对Ruby和ERB文件进行代码质量和安全检查，通过运行linting工具如standardrb和erblint，以及安全扫描工具brakeman，确保代码在提交前符合标准并自动修复问题。关键词：Ruby, ERB, linting, 代码质量, 安全检查, 自动化修复, 代码审查, 漏洞扫描。

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

这个技能是代码、计划和范围的多角度审查工具，专注于自动化质量、安全、性能和可访问性检查。它支持代码审查、计划评估和范围分析，适用于软件开发中的质量保证和测试流程，帮助团队提高代码质量和项目效率。关键词：代码审查、计划审查、范围分析、安全审计、性能测试、质量保证、自动化工具、审查助手。