测试驱动开发工作流是一种软件开发方法论，强调先编写测试后编写代码，以确保代码质量和全面覆盖。它遵循红-绿-重构循环，涵盖单元测试、集成测试和端到端测试，帮助开发者减少bug、提高可维护性。关键词：测试驱动开发、TDD、测试覆盖、红绿重构、软件开发、代码质量、单元测试、集成测试、E2E测试。

这是一个自动化工具，用于在桌面应用程序中模拟键盘输入文本，支持中文输入和清空现有内容。适用于自动化测试、脚本执行和桌面应用操作自动化。关键词：桌面输入、自动化测试、中文输入、工具技能、自动化操作。

此技能用于在软件开发中实施测试驱动开发（TDD）工作流，确保代码通过全面测试覆盖率达到80%以上，包括单元测试、集成测试和端到端测试，提升代码质量和可靠性。关键词：测试驱动开发、TDD、单元测试、集成测试、端到端测试、代码覆盖率、软件开发、测试自动化、质量控制。

使用Hoare逻辑验证程序正确性，包括指定前后条件和循环不变量，生成验证条件，并检查其有效性。适用于程序证明、验证软件开发和循环不变量验证。关键词：程序验证、Hoare逻辑、循环不变量、验证条件生成、软件测试、静态验证。

API测试技能用于通过Supertest（TypeScript/JavaScript）和httpx/pytest（Python）工具测试HTTP API。支持REST API、GraphQL、请求/响应验证、认证、错误处理和性能测试，帮助确保API的可靠性、安全性和性能。关键词：API测试，HTTP API，REST API，GraphQL，Supertest，httpx，pytest，TypeScript，Python，自动化测试。

代码复杂性分析器是一个用于自动测量和报告代码复杂度指标的工具，提供可操作的改进建议，帮助开发团队优化代码质量、提高可维护性和测试效率。关键词：代码复杂性、复杂度分析、代码质量、软件测试、代码重构、工具集成、复杂度指标、可维护性、代码优化。

测试结构分析技能用于直接从测试文件中分析代码结构，识别测试覆盖情况，无需运行测试。支持Go项目，能提取测试函数、映射源代码、发现覆盖率差距，并生成JSON、文本和HTML报告。关键词：测试分析、代码结构、测试覆盖率、Go测试、结构解析、覆盖率报告。

这个技能用于通过日志分析、控制台检查和Playwright浏览器自动化来系统化地重现和调查软件bug，包括UI相关问题的可视化重现和错误诊断。关键词：bug重现、日志调查、Playwright、自动化测试、软件调试。

Bug复现技能是一种软件测试技术，用于通过分析日志、检查控制台错误和使用浏览器自动化工具（如Playwright）来复现和调查软件缺陷。它帮助开发者快速定位bug，验证修复，并记录详细步骤，提高软件质量和开发效率。关键词：bug复现、日志分析、Playwright、软件测试、缺陷调查、自动化测试。

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

这个技能用于执行高质量的Python代码审查，专注于Pythonic模式、类型安全性和可维护性。它适用于审查现有代码修改和新代码，确保代码易于测试和理解。关键词：Python代码审查、代码质量、类型提示、测试性、Pythonic代码、代码优化、软件开发、代码审查工具。

这个技能专注于系统性调试方法，用于识别软件问题的根本原因而非表面症状，采用顺序思考、结构化调查和网络研究来避免循环推理和重复修复。涉及关键词：调试、根本原因分析、错误排查、代码修复、软件测试、系统性思考、故障排除，适用于编程、软件开发和工程领域。