这个技能用于在软件开发中遇到bug、测试失败或意外行为时，系统地进行根因调查，避免随意修复，确保问题被彻底解决。关键词：调试、根因分析、故障排除、软件测试、bug修复、系统化方法、开发效率。

系统化调试是一种用于处理软件bug、测试失败或意外行为的技能，强调在提出修复前必须完成根本原因调查。它通过系统方法确保高效、准确地解决问题，避免随机修复引入新bug，提高首次修复率。关键词：调试、错误修复、根本原因分析、软件测试、系统化方法、bug调查、测试流程。

该技能是一个用于验证Claude代码插件文档兼容性的工具，帮助开发者检测破坏性变更、弃用项和发现新功能，适用于软件开发和测试场景。关键词：插件开发、文档验证、兼容性检查、Claude代码、软件开发工具。

子类型验证器是一种用于在编程语言中验证子类型关系的关键技能，确保类型系统的正确性、安全性和多态性检查。它广泛应用于编译器开发、形式验证和软件测试领域。关键词：子类型、类型系统、验证、编程语言、编译器、形式方法、软件测试。

基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。

这是一个全面的测试策略和自动化测试框架，包括从单元测试到端到端测试的全流程测试方法和最佳实践，旨在提高软件质量，减少缺陷，确保代码的可靠性和安全性。

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

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

本技能提供使用Jest、Vitest和Testing Library进行单元测试、集成测试和端到端测试的综合测试策略。适用于JavaScript/TypeScript应用的测试开发、TDD/BDD工作流程、模拟外部依赖和持续集成，关键词包括JavaScript测试、TypeScript测试、测试框架、单元测试、集成测试、端到端测试、TDD、BDD、模拟、覆盖率报告、CI/CD。

异步REPL协议是一种用于测试的工具，专门设计用于处理异步代码执行。它要求在返回Future的工具时使用await关键字，并强制在单个代码块中计算和返回结果，以提高测试效率和准确性。适用于Python异步编程环境，关键词包括异步、REPL、协议、测试、Python、代码块、await、工具、Agentica、harness。

这个技能专注于使用Jujutsu工具进行自动化和系统化的代码审查，旨在评估代码质量、提供改进建议并确保代码的可读性、可维护性和效率，适用于软件开发流程中的质量保证环节。关键词：代码审查、代码质量分析、Jujutsu工具、DevOps、测试工具、软件质量保证。

这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。