这个技能用于查询JIRA系统中的bug，并生成总结统计，包括按状态、优先级和组件的计数，帮助分析bug积压、跟踪趋势和评估组件健康。关键词：JIRA、bug总结、数据分析、项目管理、软件测试、组件健康。

这个技能用于调试TursoDB数据库，通过字节码比较、日志记录、ThreadSanitizer压力测试、确定性模拟和腐败分析等工具，确保SQLite兼容性和数据库完整性，适用于软件开发中的数据库测试和问题排查。关键词：TursoDB调试、数据库测试、字节码分析、日志追踪、ThreadSanitizer、模拟重现、腐败检测、SQLite兼容性、后端调试。

视觉回归测试是一种自动化测试方法，通过比较不同版本中的用户界面截图来检测意外的视觉变化，如CSS错误、布局问题和设计回归。

超质量保证是一个自动化工具，用于在软件开发过程中执行迭代修复和验证循环。它通过运行测试、构建、代码检查或类型检查命令，诊断失败原因，自动应用修复，并重新验证，最多进行5个循环。它帮助开发人员快速识别和解决代码问题，提高软件质量，关键词包括迭代修复、验证循环、自动化测试、代码检查、软件开发、质量保证。

这个技能用于生成 .NET 测试覆盖率报告，提供 HTML 可视化、阈值强制、覆盖率差距分析等功能，适用于测试、DevOps 和 CI/CD 流程，关键词包括 .NET 测试、覆盖率报告、HTML 可视化、阈值检查、覆盖率分析、测试工具、自动化测试、DevOps、CI/CD、代码质量。

.NET集成测试技能专注于使用WebApplicationFactory、Testcontainers和.NET Aspire进行自动化测试，涵盖API测试、数据库管理、测试隔离等，适用于.NET应用程序的集成测试和基础设施验证。关键词：.NET, 集成测试, WebApplicationFactory, Testcontainers, .NET Aspire, 数据库测试, 测试隔离, 自动化测试, 基础设施测试。

此技能用于在代码更改后自动提高单元测试覆盖率，优化测试流程，确保软件质量，适用于软件开发中的测试环节。关键词：单元测试、测试覆盖率、代码质量、软件开发、自动化测试、测试策略、集成测试、回归测试。

这个技能用于自动检测组件类型（如网络、存储、API等），并提供基于上下文的缺口分析，以识别端到端测试文件中缺失的测试覆盖。它支持生成HTML、JSON和文本报告，用于测试覆盖评估和优先级排序。关键词：测试覆盖、缺口分析、自动化、组件检测、E2E测试、报告生成、动态特征提取、Python脚本、DevOps

测试驱动开发（TDD）工作流技能，用于在软件开发中强制执行先写测试再写代码的原则，确保高测试覆盖率和代码质量。关键词：测试驱动开发、TDD、测试覆盖、红绿重构、单元测试、集成测试、端到端测试、软件开发测试。

验证技能用于自动检查和验证软件规格、代码实现以及项目治理规则的一致性。它涉及完整性、一致性、对齐、覆盖、漂移和法规验证，使用AI代理进行并行检查，确保高质量和合规性。关键词：软件验证、规格检查、漂移检测、AI智能体、质量保证、法规遵从、自动化测试。

模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。

这个技能用于通过inference.sh平台实现浏览器自动化，专为AI代理设计，支持网页导航、元素交互、数据提取和自动化测试。核心功能包括网页抓取、表单填写、截图录制和JavaScript执行。关键词包括：浏览器自动化、AI代理、网页抓取、表单填写、截图录制、Playwright、自动化测试、数据提取、web自动化、智能代理浏览。