本技能提供了Pylint检查器的全面指南，涵盖从安装配置到高级开发的所有方面，包括内置检查器、自定义检查器和检查器开发。用于提高Python代码质量，适用于测试、代码审查和CI/CD集成，关键词：Pylint, Python, 代码质量, 检查器, 测试, 开发, 代码审查, CI/CD。

代码审查技能用于在软件开发过程中，系统地评审拉取请求、功能实现和代码变更，以确保代码质量、可维护性、安全性并遵循最佳实践。适用于代码质量保证、安全漏洞检测、性能评估和团队协作。关键词：代码审查、代码质量、安全审计、测试覆盖、性能优化、软件开发。

此技能专注于利用Playwright框架实施行为驱动开发（BDD），创建类型安全的步骤定义函数，集成Page Object Model模式和自定义fixtures，用于前端Web应用自动化测试。关键词：Playwright, BDD, 步骤定义, 测试自动化, 前端测试, Page Object Model, 参数类型, 数据表格。

完成前验证技能强调在软件开发过程中，在声称任务完成或代码通过之前，必须运行验证命令并确认输出。这包括测试、构建、代码审查等环节，以确保代码质量、减少错误和提升效率。关键词：验证、测试、质量保证、软件开发、自动化测试、代码审查、验证先行。

SMT求解器接口技能提供在形式化验证、程序综合和自动推理中使用SMT（可满足性模理论）求解器的专业指导。该技能涵盖Z3、CVC5等主流求解器的查询生成、理论选择、模型提取和调试分析，帮助开发者解决软件验证、硬件验证、约束求解等复杂问题。关键词：SMT求解器，形式化验证，程序综合，Z3，CVC5，自动推理，约束求解，软件验证。

视觉差异评分器是一款用于自动化视觉质量保证的工具，通过像素差异对比和结构分析，对UI设计稿与前端实现截图进行多维度的量化评分。核心功能包括像素级差异检测、颜色提取比较、布局结构分析、区域化评估以及可配置的权重评分体系，帮助开发团队实现像素级完美还原，提升设计到开发的交付质量。关键词：视觉测试，像素对比，UI自动化测试，设计实现验证，前端质量保证，视觉回归测试，自动化QA，像素差异分析。

这是一个基于Playwright的Web应用程序自动化测试工具，专门用于本地Web应用的功能验证、UI行为调试、截图捕获和日志分析。关键词：Playwright自动化测试，Web应用调试，前端测试工具，浏览器自动化，UI测试，截图捕获，控制台日志分析，表单验证，响应式设计测试。

后端测试编写器是一个AI工具，专门为MERN堆栈（MongoDB, Express, React, Node.js）后端代码自动生成全面、可运行的测试。它能智能分析项目结构，检测测试框架，并根据文件类型（路由、控制器、服务、模型等）生成相应的单元测试或集成测试。该工具强调零配置、智能默认值，确保测试覆盖成功路径、验证错误、认证失败及各种边缘情况，并包含正确的设置和清理逻辑。关键词：后端测试，自动化测试，MERN堆栈，单元测试，集成测试，Jest，Supertest，测试覆盖率，Node.js，Express，MongoDB。

这个技能使用 Puppeteer CLI 脚本进行浏览器自动化、调试和性能分析。可用于自动化浏览器、截图、监控网络流量、网页抓取、表单自动化和 JavaScript 调试。适用于前端开发、自动化测试、性能优化和网页分析。关键词：浏览器自动化、Puppeteer、Chrome DevTools、性能测试、网页抓取、自动化测试、前端调试。

行为驱动开发技能是一个应用BDD方法的指南，通过Gherkin场景和红绿重构周期，促进测试驱动开发、共享需求理解，适用于功能实现、bug修复和代码重构。关键词：BDD、行为驱动开发、测试驱动开发、Gherkin、红绿重构、软件开发测试。

端到端测试设计技能用于创建和验证完整的用户旅程测试，基于用户故事驱动模式，包含验证检查点。适用于自动化测试如Playwright和Cypress，支持测试设计、回归测试和用户行为验证。关键词：端到端测试、用户故事、验证、自动化测试、测试设计、Playwright、Cypress。

这个技能是关于创建和维护全面的测试覆盖率，确保测试是可执行的规范，并且没有空的测试文件。它包括测试清单和差距分析、测试编写、质量门、工作流程、测试编写指南、测试覆盖目标、运行测试、处理不可测试的代码和测试维护。