该技能是一个交互式EARS模式创作助理，用于指导用户通过EARS（易用需求语法）创建和结构化软件需求规范。它支持多种模式选择，如普适、事件驱动、状态驱动等，并生成相应的需求陈述和验收标准，以提高需求清晰度和可测试性。关键词：EARS模式、需求工程、软件开发、验收测试、规范驱动开发、需求分析、软件工程、测试用例、交互式指导。

此技能用于批量修复 .NET 项目中的分析器警告，支持按类别过滤、预览模式和交互式审查选项。通过自动化代码修复，提升代码质量，减少手动干预，适用于开发流程中的代码维护和测试阶段。关键词：.NET、代码分析、警告修复、自动化、代码质量、DevOps、测试工具。

这个技能用于软件测试执行和质量保证，支持运行单元测试、集成测试、端到端测试，生成测试覆盖率报告，设置测试基础设施，监控测试结果，并自动修复问题。它通过命令行操作，集成了Bash、Glob和TodoWrite工具，提供高效的测试管理、报告生成和覆盖度分析，关键词包括测试执行、质量保证、测试覆盖、自动化测试、测试报告、DevOps测试。

实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。

此技能专门用于验证终端用户界面（TUI）的输出，通过集成freeze工具捕获屏幕截图，并利用LLM作为评判进行语义验证，支持PNG/SVG视觉验证和文本验证模式，适用于TUI应用的测试、视觉回归测试和文档生成。关键词：TUI验证、终端界面、语义验证、LLM评判、测试自动化、视觉回归测试。

这个技能用于在软件开发中修复bug时，优先检查系统实际输出和日志，避免基于假设进行代码编辑，提升调试效率。关键词：代码调试、bug修复、输出验证、日志分析、开发最佳实践、DevOps测试、故障排查。

异步 REPL 协议是一种技术规范，主要用于在使用 Agentica 的异步 REPL 工具进行软件测试时，指导如何正确使用 `await` 处理 Future-returning 工具，并强调每响应中使用单个代码块以避免执行错误。关键词：异步 REPL，测试，Python 代码块，Future-returning 工具，Agentica，软件开发，协议。

Lighthouse性能审计技能用于通过命令行工具或Node API本地运行Lighthouse审计，解析和解释性能报告，设置性能预算。它主要用于测量网站性能指标（如Largest Contentful Paint、Cumulative Layout Shift）、优化前端加载速度、集成到CI/CD流程中（如GitHub Actions），以实现自动化性能监控和持续改进。关键词：Lighthouse、性能审计、网站性能、CI/CD、性能预算、前端优化、DevOps、测试工具、Web Vitals、自动化测试。

这个技能提供了使用Playwright进行Web自动化测试的最佳实践指南，涵盖测试组织、页面对象模型、定位器策略、认证处理、文件上传、等待策略、网络模拟、CI/CD集成、调试技巧和修复不稳定测试。关键词：Playwright，自动化测试，Web测试，UI测试，端到端测试，测试最佳实践。

这个技能用于自动化浏览器操作，打开新标签页并导航到指定URL，保持当前页面打开，支持多任务处理和网页测试。适用于自动化测试、网页开发和日常浏览场景。关键词：浏览器自动化，新标签页，URL导航，多任务，网页测试，SEO优化。

这个技能用于将测试驱动开发（TDD）应用于过程文档的编写，帮助创建、编辑和验证技能文档，确保质量。关键词：测试驱动开发、技能编写、文档编写、TDD、质量保证、过程文档、技能创建、测试驱动、软件开发、文档质量。

此技能用于在软件开发中创建详细的实现计划，强调测试驱动开发（TDD）、避免重复代码（DRY）、你不需要它（YAGNI）原则，以及频繁提交。它帮助开发者逐步执行多步骤任务，确保代码质量和可维护性，适用于项目管理。关键词：软件开发、实现计划、测试驱动开发、TDD、DRY、YAGNI、频繁提交、代码审查。