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

使用Hoare逻辑验证程序正确性，包括指定前后条件和循环不变量，生成验证条件，并检查其有效性。适用于程序证明、验证软件开发和循环不变量验证。关键词：程序验证、Hoare逻辑、循环不变量、验证条件生成、软件测试、静态验证。

这个技能用于实现数据驱动测试，通过TestNG框架的DataProviders、工厂模式和参数化技术，提高测试覆盖率和效率。它支持从多个数据源（如CSV、JSON、Excel）加载测试数据，并适用于跨环境、并行测试等场景。关键词：TestNG, 数据驱动测试, DataProvider, 工厂模式, 参数化, 测试自动化, Java测试, 测试覆盖, 外部数据源。

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

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

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

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

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

这个技能通过 Puppeteer CLI 脚本实现浏览器自动化，用于截图、性能分析、网络监控、网页抓取、表单自动化等任务，适用于前端测试、自动化调试和网页抓取。关键词：浏览器自动化、Puppeteer、截图、性能分析、网络监控、网页抓取、前端测试。

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

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

本技能提供使用Jest、Vitest和Testing Library进行单元测试、集成测试和端到端测试的综合测试策略。适用于JavaScript/TypeScript应用的测试开发、TDD/BDD工作流程、模拟外部依赖和持续集成，关键词包括JavaScript测试、TypeScript测试、测试框架、单元测试、集成测试、端到端测试、TDD、BDD、模拟、覆盖率报告、CI/CD。