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

这个技能用于在软件开发过程中，交互式地分类和处理代码审查发现，允许用户批准、跳过或设置优先级，优化修复工作流。特别适用于Phoenix/Elixir项目，帮助团队高效管理缺陷和提高代码质量。关键词：代码审查、triage、交互式、Phoenix框架、Elixir、缺陷管理、工作流自动化、质量保证。

这个技能用于进行全面的代码审查和分析，确保软件项目质量。它包括评估项目结构、文档质量、逻辑错误、测试覆盖率和代码一致性，提供可操作的改进建议。关键词：代码审查、软件质量、测试评估、文档分析、最佳实践、可维护性。

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

这是一个全面的测试策略和自动化测试框架，包括从单元测试到端到端测试的全流程测试方法和最佳实践，旨在提高软件质量，减少缺陷，确保代码的可靠性和安全性。

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

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

这是一个专注于 Python 测试驱动开发（TDD）的专业技能，集成了 pytest 框架和 uv 工具链。核心功能包括：遵循红-绿-重构循环编写高质量单元测试和集成测试；审计现有测试代码质量；运行测试并生成覆盖率报告；自动化配置 pytest 环境。适用于 Python 开发者、软件测试工程师和 DevOps 工程师，旨在提升代码质量、确保软件可靠性和自动化测试流程。关键词：Python 测试，pytest，TDD 测试驱动开发，单元测试，自动化测试，代码覆盖率，测试报告，uv 工具，软件质量保障。

这是一种基于规格驱动开发（SDD）的技能，主要用于自动化实现功能、创建新功能，确保开发过程中严格遵守规格要求和测试驱动开发（TDD）原则。

这个技能用于软件开发中，通过构建小型、端到端的特性切片来快速获得反馈，验证方法和架构，减少开发风险。关键词：软件开发、Tracer Bullets、快速反馈、特性构建、端到端测试、架构验证、敏捷开发、代码迭代。

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

规模游戏是一种测试方法，通过在极端规模（如1000倍增大或减小、瞬时或长达一年）下测试系统，来揭示正常规模下隐藏的根本真相。它用于不确定可扩展性、边缘案例不清晰或验证生产环境架构的场景。关键词包括：极端测试、可扩展性、架构验证、规模游戏、软件开发测试。