测试 Skill技能列表
时序逻辑转换器Skill temporal-logic-translator
时序逻辑转换器是一个专注于形式化验证领域的专业工具，用于在多种时序逻辑形式化方法（如LTL、CTL、CTL*）之间进行精确的转换与翻译，并能将自然语言描述的系统属性自动生成对应的时序逻辑公式。它提供属性模式模板、公式等价性检查、否定范式转换等核心功能，并集成了Spot、GOAL等主流验证工具链，旨在辅助工程师和研究人员高效完成硬件、软件及协议的系统规约与验证工作。 关键词：时序逻辑，形式化验证，LTL转换，CTL，属性规约，Büchi自动机，公式等价，模型检测，系统验证
深度错误分析Skill break-loop
该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。
规格驱动开发工作流程Skill spec-workflow
这是一种基于规格驱动开发（SDD）的技能，主要用于自动化实现功能、创建新功能，确保开发过程中严格遵守规格要求和测试驱动开发（TDD）原则。
MSW模拟服务技能Skill msw
这个技能提供MSW（模拟服务工作者）的最佳实践指南，用于在测试中模拟HTTP和GraphQL API。它涵盖设置、处理器架构、测试集成等关键方面，适用于前端和后端开发中的API mocking，以提升测试效率和代码质量。关键词：MSW, API模拟, 测试, HTTP mocking, GraphQL mocking, 前端测试, 后端测试。
代码审查请求技能Skill requesting-code-review
该技能用于在软件开发过程中，通过请求代码审查来提高代码质量和确保代码符合计划与需求。它涉及调度子代理进行代码评估，提供反馈流程和错误预防。关键词：代码审查、代码质量、软件开发、Git、子代理、反馈、质量保证。
代码执行Skill code-execution
这个技能用于自动化执行编码子任务，通过自审和质量验证来确保代码符合项目标准和接受标准。适用于软件开发中的自动化测试和质量控制场景，关键词包括：代码执行、自审、质量验证、编码任务、软件开发、自动化测试、DevOps。
测试反模式Skill testing-anti-patterns
这是一个用于识别和测试软件开发中常见反模式的AI技能工具。该技能支持多种AI模型配置，能够帮助开发人员检测代码质量、架构设计、测试实践等方面的不良模式，提升软件工程效率和质量。关键词：软件测试、反模式检测、代码质量、AI模型配置、开发工具、质量保证、测试自动化、模型无关
端到端测试完整技能Skill complete-skill
这是一个用于端到端测试的完整技能，专门用于测试整个持久化流水线，支持使用Bash脚本、读取和写入工具进行全流程验证。关键词：端到端测试、持久化流水线、测试技能、Bash脚本、软件开发测试。
系统化调试Skill debugging
系统化调试是一种系统性框架，用于在修复前深入调查软件错误的根本原因，确保理解和解决核心问题。它包括四个阶段：根因调查、模式分析、假设测试和实施，旨在提高调试效率、减少随机修复和预防新错误。关键词：调试、根因分析、错误修复、测试、软件工程、系统方法、根因调查、模式分析。
网页应用测试Skill webapp-testing
网页应用测试工具包，使用Playwright进行本地Web应用程序的自动化测试，支持功能验证、UI调试、截图和日志查看，适用于前端开发和质量保证。关键词：网页应用测试、Playwright、自动化测试、前端测试、UI测试、浏览器自动化。
执行计划Skill executing-plans
此技能用于在软件开发中执行实施计划，通过分批执行和评审检查点来管理开发流程。它涉及加载计划、严格评审、分批执行任务和批次间报告，关键词包括计划执行、代码审查、分批处理、验证测试、软件开发、项目管理、敏捷开发、代码质量。
测试数据策略Skill test-data-strategy
该技能专注于规划全面的测试数据管理策略，涵盖合成数据生成、数据匿名化、版本控制和环境特定数据策略，适用于软件测试、DevOps 和持续集成场景，帮助确保测试数据质量、保护敏感信息并提高测试效率。关键词：测试数据、合成数据、匿名化、版本控制、环境策略、软件测试、数据管理。