测试驱动开发（TDD）是一种软件开发实践，要求在编写实现代码之前先编写失败的测试用例，确保测试通过最小代码实现，最后进行重构以提高代码质量。关键词：测试驱动开发、TDD、单元测试、红绿重构、测试先行、自动化测试、软件工程、代码质量、敏捷开发、错误预防。

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

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

地址净化器（AddressSanitizer）是一种内存错误检测工具，用于在模糊测试（fuzzing）和其他软件测试中检测缓冲区溢出、使用后释放、内存泄漏等内存安全问题，提高软件安全性和稳定性。关键词：内存错误检测、模糊测试、C/C++、Rust、软件测试、安全漏洞、编译器插装、影子内存、性能优化、故障排除。

这个技能专注于掌握 Pytest 的 fixture 功能，用于全面的测试设置，包括 conftest 文件、parametrize 装饰器和 fixture 作用域。它涵盖了从基础到高级的概念、模式和最佳实践，适用于 Python 测试开发，关键词包括 Pytest、测试装置、测试设置、Python 测试、自动化测试。

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

这个技能用于在软件开发过程中请求和执行代码审查，以检查代码质量、确保符合需求、预防错误并集成到工作流程中。关键词：代码审查、代码质量、软件开发、代码评审、CI/CD、质量保证、代码审查流程

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

这个技能用于最小化Rust FFI crate的暴露接口，通过移除未使用或仅用于C/C++单元测试的符号，优化代码库、减少维护负担并提高安全性。关键词：Rust, FFI, C/C++, 单元测试, 代码清理, 符号删除, 跨语言编程, 测试优化。

这是一个全面的验证和质量保证系统，用于确保代码质量、正确性和可靠性，包括实时真相评分、自动验证检查、自动回滚功能，集成CI/CD，适用于软件开发中的测试和质量控制。关键词：验证、质量保证、代码质量、真相评分、自动回滚、CI/CD、测试。

这个技能是关于Pylint代码分析工具的CI集成，包括插件配置、编辑器集成和性能优化。关键词：Pylint, 代码质量, CI/CD, Python开发。

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