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

API模拟服务器技能是一个用于根据OpenAPI规范快速生成和运行模拟API服务的工具。它支持动态响应生成、请求验证、Prism/Mockoon集成、自定义场景和状态模拟，主要用于API设计、微服务开发和测试验证阶段，帮助开发者在没有真实后端的情况下进行前端开发和接口测试。关键词：API模拟、OpenAPI、Mock服务器、接口测试、微服务开发、动态响应、请求验证、Prism、Mockoon。

这是一个专注于 Python 测试驱动开发（TDD）的专业技能，集成了 pytest 框架和 uv 工具链。核心功能包括：遵循红-绿-重构循环编写高质量单元测试和集成测试；审计现有测试代码质量；运行测试并生成覆盖率报告；自动化配置 pytest 环境。适用于 Python 开发者、软件测试工程师和 DevOps 工程师，旨在提升代码质量、确保软件可靠性和自动化测试流程。关键词：Python 测试，pytest，TDD 测试驱动开发，单元测试，自动化测试，代码覆盖率，测试报告，uv 工具，软件质量保障。

这个技能覆盖了测试策略、自动化、TDD方法论、测试编写、覆盖率分析、CI/CD集成以及使用Playwright进行Web应用测试的综合测试专业化。

这是一个使用Playwright框架进行本地Web应用自动化测试的技能帮助开发者验证前端功能、调试UI行为、捕获浏览器截图和查看日志提高测试效率和代码质量。关键词：Web应用测试、Playwright、前端测试、UI自动化、本地服务器管理。

端到端测试是一种自动化测试技能，用于验证软件系统的完整用户工作流和集成行为。它从用户角度出发，测试关键路径如登录、支付等，确保前端与后端正确交互。适用于自动化QA过程、捕获回归、测试API集成等。关键词：端到端测试，用户工作流，自动化测试，Playwright，Cypress，测试框架，CI/CD，QA自动化。

这是一个用于软件开发中代码质量保证的群集技能，专注于在 sprint 期间通过 TDD 遵守、代码复杂度分析、覆盖度差距检测和缺陷预测来验证代码质量。技能包括多个代理，如 TDD 专家、代码复杂度分析器、覆盖度专家等，并基于代码内容动态调用条件代理（如安全扫描器、性能测试器）。关键词：TDD、代码质量、测试覆盖、缺陷预测、软件开发、质量保证、测试自动化、代码分析。

SimPy是一个Python离散事件模拟框架，用于构建系统模拟，如制造、服务、网络等，涉及过程、队列、资源和时间事件的管理。关键词：Python模拟，离散事件，资源管理，队列分析，系统优化。

该技能专注于规划全面的测试数据管理策略，涵盖合成数据生成、数据匿名化、版本控制和环境特定数据策略，适用于软件测试、DevOps 和持续集成场景，帮助确保测试数据质量、保护敏感信息并提高测试效率。关键词：测试数据、合成数据、匿名化、版本控制、环境策略、软件测试、数据管理。

此技能用于创建遵循IEEE 829标准的全面测试策略文档，适用于新项目测试方法建立或现有实践标准化。关键词：测试策略, IEEE 829, 测试文档, 软件测试, 项目管理。

本技能专注于合同测试设计，用于制定消费者驱动的合同测试策略，使用Pact框架验证API合同，管理API演化，并集成到CI/CD流程中。关键词包括合同测试、Pact、消费者驱动、API验证、微服务测试、破坏性更改检测。

深度搜索模式是一种代码库搜索工具，用于执行彻底的代码分析，帮助开发者快速定位代码中的特定模式、概念或实现，提高代码维护和开发效率。关键词包括：深度搜索、代码库分析、软件开发工具、代码审查、测试辅助。