该技能用于在软件开发过程中运行质量检查，通过lint检查和代码格式化，及早发现并修复代码问题，提高开发效率。关键词：代码质量、开发过程、lint检查、代码格式化、早期问题捕获。

EDD框架是一个以质量为先的开发模式，通过定义-实施-验证的工作流程来强化结构化的评估。关键词包括：评估、定义、实施、验证、能力检查、行为检查、非功能性检查、模板、质量保证、测试驱动、规范。

此技能用于设计基于规格的审核工作流，通过视觉证明和问题分类来验证软件实现是否符合要求，适用于软件开发中的自动化审核和质量管理。关键词：审核工作流、规格验证、视觉证明、问题分类、自动化审核、软件开发测试、质量保证、视觉验证、工作流设计、测试流程。

调试助手技能提供系统化的调试策略、故障排除方法，用于解决代码和系统问题。适用于遇到错误或意外行为时诊断和修复问题，帮助提高开发效率和系统稳定性。关键词：调试、故障排除、代码错误、系统问题、bug修复、开发工具。

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

一个基于Playwright的自动化测试工具包，专为本地Web应用程序设计，支持功能验证、UI调试、截图捕获和日志分析，提高测试效率和准确性。关键词：Web测试、Playwright、自动化测试、前端测试、本地应用测试、软件测试。

端到端测试是一种软件测试方法，用于模拟真实用户场景，验证Web应用程序从开始到结束的完整流程，确保所有组件正确协作。它涵盖使用自动化工具如Playwright和Cypress的现代测试模式，包括页面对象模型、选择器策略、异步处理、视觉回归测试和不稳定测试预防。关键词：端到端测试，E2E测试，自动化测试，Playwright，Cypress，软件测试，浏览器自动化。

终止性分析器是用于证明算法和程序终止性的专业工具，通过秩函数、良基序和自动化分析技术，帮助开发者验证递归、循环等结构的正确性。关键词：算法终止性证明，秩函数，良基序，递归分析，循环终止，程序验证，自动化分析，形式化方法

这个技能用于分析测试自动化投资回报率（ROI），基于测试案例的价值和努力推荐自动化优先级，帮助优化测试策略和投资决策。关键词：自动化ROI、测试案例、优先级排序、投资分析、测试自动化。

Pylint配置技能专门用于管理和优化Python代码质量检查工具，涵盖配置文件设置、消息控制、插件集成和评分系统。关键词：Pylint, Python, 代码质量, 静态分析, 配置管理, 代码检查, 测试工具

这个技能用于设计最优的测试金字塔，包括单元测试、集成测试和端到端测试的比例。识别反模式并推荐特定架构的测试策略。关键词：测试金字塔、测试策略、软件测试、CI/CD、自动化测试、单元测试、集成测试、E2E测试。

该技能用于指导混沌工程和弹性测试，涵盖故障注入、负载压力测试、系统恢复验证等，旨在提升软件系统的稳定性和可靠性。关键词包括：混沌工程、弹性测试、故障注入、负载测试、系统恢复、灾难恢复、断路器测试。