这个技能用于在代码修改后自动执行必要的质量检查命令，包括TypeScript类型检查、Biome代码风格检查和测试运行，以确保代码质量，同时遵循务实开发理念，避免过度检查。关键词：代码检查、质量保证、开发流程、TypeScript、Biome、测试、自动化、DevOps。

这个技能用于自动审查Rust编程语言中crate或模块的文档，确保其符合指定的标准和指南。关键词：Rust，文档审查，质量保证，代码标准，自动化工具，文档检查，Rust编程，代码合规。

此技能用于规划和评估测试自动化策略，包括投资回报率分析、自动化候选选择、框架评估和维护性架构。适用于软件开发中的测试阶段，关键词：测试自动化、自动化策略、ROI分析、框架选择、测试维护。

该技能用于创建最小化的、有针对性的代码补丁计划，专注于修复特定问题，避免范围蔓延。适用于从代码审查中识别出的特定问题修复，创建聚焦的bug修复，解决阻塞问题而不引入范围蔓延。关键词：补丁设计、最小化修复、代码修复、软件开发、测试验证。

这个技能用于在软件开发过程中生成全面的错误修复计划，包括根本原因分析、重现步骤和验证命令，帮助团队有效修复错误并防止回归。关键词：bug修复、错误分析、根本原因、软件测试、DevOps、计划生成、代码调查。

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

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

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

异步 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优化。