此技能用于通过测试驱动开发（TDD）方法，使用RED-GREEN-REFACTOR循环来测试和验证子代理或技能，确保它们在压力下工作并抵抗理性化。关键词包括技能测试、TDD、RED-GREEN-REFACTOR、压力测试、理性化表、基线测试、防弹技能、测试驱动开发、过程文档。

形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。

这是一个使用Playwright框架进行本地Web应用自动化测试的技能帮助开发者验证前端功能、调试UI行为、捕获浏览器截图和查看日志提高测试效率和代码质量。关键词：Web应用测试、Playwright、前端测试、UI自动化、本地服务器管理。

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

这个技能用于确保Rust代码与Python逻辑同步，专注于核心功能（排除UI和登录）。它涉及代码审查、模块映射、逻辑移植和测试更新，以保持跨语言实现的一致性和测试覆盖率。关键词：Rust同步、Python代码移植、测试自动化、软件开发、代码一致性。

这个技能用于通过日志分析、控制台检查和Playwright浏览器自动化来系统化地重现和调查软件bug，包括UI相关问题的可视化重现和错误诊断。关键词：bug重现、日志调查、Playwright、自动化测试、软件调试。

这个技能专注于系统性调试方法，用于识别软件问题的根本原因而非表面症状，采用顺序思考、结构化调查和网络研究来避免循环推理和重复修复。涉及关键词：调试、根本原因分析、错误排查、代码修复、软件测试、系统性思考、故障排除，适用于编程、软件开发和工程领域。

Dialyzer配置技能涉及设置和管理Dialyzer静态分析工具，用于Erlang和Elixir代码的类型检查和静态分析，以识别软件问题如类型错误、不可达代码等。关键词：Dialyzer, Erlang, Elixir, 类型检查, 静态分析, 配置, 测试, 软件开发, CI集成。

测试驱动开发（TDD）是一种软件开发实践，通过先编写测试用例来定义需求，然后实现代码使测试通过，最后重构代码以提高质量。它采用RED-GREEN-REFACTOR循环，确保代码可测试、可维护，并提高开发效率和测试覆盖率。关键词：测试驱动开发、TDD、RED-GREEN-REFACTOR、单元测试、自动化测试、代码质量、软件测试、敏捷开发、测试优先。

此技能用于对Web入门项目进行全面审计，包括用户体验、无障碍访问和质量检查，生成优先修复计划，提升项目质量和可访问性，关键词包括UX审计、无障碍审计、质量审计、Web开发测试。

这是一个自动化测试用例生成技能，专为软件开发项目设计，帮助创建符合标准的测试文件，确保代码覆盖率，提高软件质量。关键词：测试创建、自动化测试、软件测试、测试用例生成、代码覆盖率。

Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。