该技能提供了一套系统化的调试方法，用于在软件开发中查找和修复bug，包括根因分析、防御性验证和验证流程，旨在提高调试效率和准确性，减少试错时间。关键词：调试、系统化、bug修复、根因分析、验证、软件开发、测试、高效调试。

这是一个全面的软件质量系统，包含了从测试策略设计到执行、覆盖范围和报告的详细步骤和模板，旨在帮助团队提高软件质量并确保软件的可靠性和安全性。

指导测试驱动开发，遵循红-绿-重构循环来编写聚焦行为的测试和最小化实现。适用于以TDD方式开发功能或修复Bug的场景，强调通过公开接口验证行为而非实现细节。关键词：TDD，测试驱动开发，红绿重构，集成测试，测试先行

符号执行引擎是一种用于程序分析的技能，主要用于自动化测试生成、bug检测和路径探索。它通过创建符号值、系统化探索路径条件、生成约束并利用SMT求解器来构建测试用例。关键词包括符号执行、测试生成、路径覆盖、bug检测、程序验证、SMT求解、路径探索、约束求解。

修复验证技能用于严格验证软件漏洞的修复是否成功，确保修复后不会引入新的问题。它通过复现漏洞、应用修复、验证修复效果和检查回归测试来保证软件质量。关键词：修复验证、漏洞测试、回归测试、软件测试、质量保证、Rust 代码、mandos 场景。

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

此技能是关于使用RuboCop进行Ruby代码分析和质量控制，涵盖内置cops配置、自动修正、性能优化和团队协作。关键词：RuboCop, Ruby, 代码检查, 质量保证, 自动化, 软件开发, 测试

这个技能用于自动化执行编码子任务，通过自审和质量验证来确保代码符合项目标准和接受标准。适用于软件开发中的自动化测试和质量控制场景，关键词包括：代码执行、自审、质量验证、编码任务、软件开发、自动化测试、DevOps。

这个技能用于创建自定义Ameba linting规则，用于Crystal代码分析，包括规则开发、AST遍历和测试，帮助强制执行项目特定的代码质量标准和捕捉领域特定代码异味。关键词：Ameba, 自定义规则, Crystal, 代码分析, linting, 静态代码分析, 代码质量, 规则测试。

这个技能用于提供一个系统的调试检查清单，帮助开发人员，尤其是初学者，在调试代码时使用结构化方法解决问题。关键词包括：调试、检查清单、软件开发、问题解决、代码调试、开发工具、SEO搜索。

跨层检查是一种软件开发技能，用于在代码实施后验证更改是否全面考虑所有维度，特别是跨层数据流、代码重用、导入路径和一致性检查，以预防常见bug并提高代码质量。关键词：跨层检查、代码验证、软件测试、数据流、代码重用、软件开发、测试清单。

这个技能用于验证软件开发中基础设施是否正确连接和使用。通过追踪执行路径、检查钩子注册、验证数据库连接、进行端到端测试和搜索孤立实现，确保代码被实际调用，避免死代码和浪费。关键词：基础设施验证，执行路径追踪，代码审查，测试，DevOps，质量保证。