此技能用于自动化执行项目测试套件，包括代码检查、类型检查、单元测试和构建验证，并以结构化 JSON 格式报告结果，便于集成到持续集成流程和自动问题解决。关键词：测试自动化、JSON 报告、代码验证、CI/CD、软件测试。

此技能用于自动分析 Trail of Bits 测试手册内容，生成专注于安全测试工具和技术的 Claude Code 技能，帮助用户快速创建和更新测试相关技能。关键词包括：安全测试、技能生成、自动化、Claude Code、测试手册、静态分析、模糊测试、安全工具。

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

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

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

这个技能是一个用于文件验证的工具，能够安全地检查文件格式和内容完整性，确保文件的正确性和安全性，关键词包括文件验证、格式验证、内容检查、安全操作、Python。

系统化调试是一种结构化的故障排除方法论，采用四阶段过程（根因调查、模式分析、假设测试、实施），适用于任何技术问题，确保在提出修复方案前先调查根因，提高调试效率和准确性。关键词：系统化调试、调试方法、故障排除、根因分析、软件测试、四阶段调试、代码调试、错误修复。

此技能用于在软件开发中确保工作质量，强调在声称任务完成、成功或满意前，必须执行相关验证命令并基于输出证据进行声称，以避免虚假声明和错误。关键词：验证、测试、质量保证、软件工程、证据驱动、DevOps、回归测试、构建验证。

这个技能用于在软件开发过程中，当出现深层错误时，通过向后追溯调用堆栈来找到bug的原始触发点，避免仅修复症状，提高调试效率。关键词包括：根因追溯、调用堆栈、调试、软件测试、故障排除、防御性编程。

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

根因追溯技能用于在软件开发过程中，通过向后追踪调用栈和执行流程，识别错误、无效数据或不正确行为的原始来源。适用于调试复杂问题、调查数据损坏、查找级联故障根因等场景，关键词包括调试、根因、追溯、错误来源、数据流追踪。

此技能用于在软件开发过程中，每次代码合并或部署前执行全面的质量保证检查。通过构建验证、测试套件、安全审查等六个阶段，确保代码质量和安全，并生成详细报告，提高软件可靠性。关键词：QA、检查清单、质量保证、测试、构建验证、安全审查、部署、DevOps。