这是一个专为QA工程师设计的技能工具，用于创建全面的测试计划、生成手动测试用例、构建回归测试套件、验证Figma设计并有效文档错误。关键词：QA测试、测试规划、自动化测试、Figma验证、错误报告、测试管理、软件质量保证。

这是一个精炼类型检查器技能，用于通过添加谓词到类型来实现属性验证、契约检查和轻量依赖类型。它使用 SMT 求解器进行验证和推理，适用于编程语言类型系统和形式化验证领域。关键词：精炼类型、类型检查、谓词、SMT 求解器、验证、契约、依赖类型、属性验证、静态分析、编程语言。

模糊测试字典是一种软件测试技术，用于指导模糊测试器使用领域特定的令牌，如关键词、魔法数字、协议命令等，以提高测试效率和覆盖率。它主要应用于解析器、协议实现和文件格式处理器的安全测试，帮助绕过验证检查并探索更深层代码路径。关键词：模糊测试、字典、协议、文件格式、覆盖率提升、安全测试、测试自动化。

Atheris是一个基于libFuzzer的覆盖引导Python模糊测试工具，专门用于对纯Python代码和Python C扩展进行模糊测试，并集成了AddressSanitizer支持以检测内存腐蚀问题。关键词：Python模糊测试、覆盖引导、libFuzzer、内存腐蚀、AddressSanitizer。

这是一个使用外部大型语言模型（如OpenAI Codex和Google Gemini）进行代码审查的工具。它通过CLI接口，支持审查未提交的更改、分支差异或特定提交，帮助开发者提高代码质量、安全性和性能。关键词：代码审查、LLM、外部工具、安全扫描、性能优化、错误处理、自动化审查。

这个技能提供了一个系统化的调试框架，用于在修复bug之前进行根因调查。它包括四阶段调试过程、向后调用栈追踪、多层验证和验证协议，适用于测试失败、bug、意外行为、性能问题等场景。关键词：调试、系统化、根因分析、测试验证、软件开发、bug修复。

这个技能是Starlake项目中的集成测试工具，用于自动化验证数据加载和转换任务的准确性，通过比较实际输出与预期数据文件，支持多种测试选项和报告格式。关键词：Starlake测试, 数据集成测试, ETL验证, 自动化测试, 软件测试工具

这个技能提供了使用Playwright进行Web自动化测试的最佳实践指南，涵盖测试组织、页面对象模型、定位器策略、认证处理、文件上传、等待策略、网络模拟、CI/CD集成、调试技巧和修复不稳定测试。关键词：Playwright，自动化测试，Web测试，UI测试，端到端测试，测试最佳实践。

系统性调试是一种用于诊断和修复软件问题的技能，通过根本原因分析方法，帮助开发者解决bug、测试失败、性能问题等。它适用于生产问题、日志分析、竞态条件调试等场景，关键词包括：调试、根本原因分析、bug修复、测试优化、性能调试、日志追踪。

测试驱动开发（TDD）是一种软件开发实践，通过先编写测试用例再实现代码来确保代码可靠性和质量。它遵循红绿重构循环，有助于预防回归错误、提高代码设计、文档化行为，并促进团队协作。关键词：测试驱动开发、TDD、软件开发、测试方法、红绿重构、代码测试、回归预防。

系统化调试技能通过根因分析框架帮助诊断和修复软件中的bug、测试失败及意外行为。它强调在提出修复前先科学理解问题根源，适用于生产问题、性能调试、日志分析等场景，提高开发效率和代码质量。关键词：调试、根因分析、bug诊断、系统化方法论、测试失败、性能问题。

代码审查是一种系统化分析代码更改的技能，用于确保代码质量、可维护性、安全性，并遵循最佳实践。它涉及检查拉取请求、功能实现和代码修改，以防止错误、提升性能、验证测试覆盖、评估架构决策，并提供建设性反馈以优化团队协作和软件可靠性。关键词：代码审查、代码质量、安全漏洞、性能优化、可维护性、测试覆盖、编码标准、团队协作、软件质量保证。