此技能用于通过自动化测试验证 .NET 软件架构的健康状况，帮助执行架构边界、测试模块依赖关系、验证层约束、创建性能健康函数、生成架构测试代码和审计现有架构违规。它使用 NetArchTest 和 ArchUnitNET 工具，适用于维护和演进软件架构。关键词：架构测试，健康函数，NetArchTest，ArchUnitNET，依赖规则，性能测试，代码生成，CI/CD 集成。

这个技能用于执行系统化的代码审查，基于Google工程实践、OWASP安全标准和现代开发最佳实践。它自动检查代码更改，确保代码健康、安全性、性能和可维护性。关键词：代码审查、代码质量、安全审计、性能优化、软件开发、自动化测试、错误检测、设计原则、SOLID、DRY、KISS、OWASP、并发安全、跨平台兼容性、代码库模式、清单驱动分析、持续改进、代码健康评估。

测试驱动开发技能旨在指导用户使用红绿重构周期进行严格的测试优先开发，帮助用户练习TDD、先写测试后写代码、开发新功能并优化测试结构。包含关键词如测试驱动开发、TDD、红绿重构、单元测试、集成测试、测试设计，适合SEO搜索用于软件开发中的测试环节。

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

此技能用于验证技能名称是否符合命名规范，如检查大写字母、特殊字符等错误，确保数据完整性和系统稳定性，适用于技能管理、错误处理和数据验证场景。关键词：技能验证、名称检查、数据完整性、错误处理、规范验证、SEO优化。

这个技能用于为C/C++程序生成ACSL（ANSI/ISO C Specification Language）形式验证注释，支持函数契约、循环不变量、内存安全注释等，以帮助使用Frama-C等工具进行代码验证和形式验证。关键词：ACSL，形式验证，C/C++，函数契约，Frama-C，代码注释，软件测试。

这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。

跨层检查技能是软件开发中的一个后实现验证工具，用于检查代码更改是否考虑了所有相关维度，如跨层数据流、代码重用和依赖管理。它帮助预防因考虑不周导致的bug，提高代码质量和可维护性。关键词：跨层检查、代码审查、软件开发、安全网、数据流。

这个技能用于通过测试驱动开发（TDD）的RED-GREEN-REFACTOR循环来创建、编辑和验证技能文档，确保文档质量和有效性。它适用于软件开发中的测试和文档流程，帮助避免部署未测试内容。关键词：测试驱动开发，技能写作，文档创建，TDD，压力测试，RED-GREEN-REFACTOR。

此技能用于在代码更改后自动提高单元测试覆盖率，优化测试流程，确保软件质量，适用于软件开发中的测试环节。关键词：单元测试、测试覆盖率、代码质量、软件开发、自动化测试、测试策略、集成测试、回归测试。

死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。

这是一个全面的测试策略，使用Vitest和Playwright工具进行单元、集成和E2E测试，包括最佳实践和覆盖目标。