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

深度搜索模式是一种代码库搜索工具，用于执行彻底的代码分析，帮助开发者快速定位代码中的特定模式、概念或实现，提高代码维护和开发效率。关键词包括：深度搜索、代码库分析、软件开发工具、代码审查、测试辅助。

测试驱动开发技能旨在指导用户使用红绿重构周期进行严格的测试优先开发，帮助用户练习TDD、先写测试后写代码、开发新功能并优化测试结构。包含关键词如测试驱动开发、TDD、红绿重构、单元测试、集成测试、测试设计，适合SEO搜索用于软件开发中的测试环节。

该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。

基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。

该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

这个技能涉及通过条件编译和代码修补技术来绕过模糊测试中的障碍，如校验和验证、全局状态和复杂检查，以提高软件测试覆盖率和发现潜在漏洞。适用于软件开发中的模糊测试场景，帮助开发者和测试人员更有效地进行安全测试和缺陷检测。关键词：模糊测试，障碍克服，代码修补，条件编译，软件测试，覆盖率提升，安全漏洞发现。

这个技能是关于使用 cargo-fuzz 工具进行 Rust 代码的模糊测试。它帮助开发者在 Cargo-based 项目中快速设置模糊测试，集成地址消毒器等安全工具，提高代码质量和安全性。关键词：模糊测试、Rust、Cargo、libFuzzer、安全测试、软件测试、漏洞挖掘。

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

这个技能用于分析会话调试数据，识别并诊断软件中的错误和问题，以帮助解决用户报告的问题。关键词包括：会话调试、错误分析、GitHub问题、故障排除、软件测试、数据解析、问题诊断。

这个技能实现了一个多代理代码审查流程，使用AI代理自动化审查GitHub拉取请求（PR），提高代码质量和开发效率。它通过三个独立的AI子代理从不同角度（如正确性、代码健康、用户体验）分析代码更改，并通过推理分析验证问题，自动去重评论，发布裁决和摘要。适用于软件测试、DevOps自动化和代码质量保证场景。关键词：代码审查、多代理AI、自动化测试、GitHub集成、软件质量保证、PR审查、DevOps、CI/CD、AI智能体、代码健康。