实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、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、频繁提交、代码审查。

此技能用于指导用户在任务执行中如何优先调用相关技能工具，确保工作流程的纪律性和效率。适用于各种领域，如软件开发、人工智能项目等，强调在响应前检查并调用技能以避免无纪律行动。关键词：技能调用、工作流程、任务管理、AI助手、流程规范、纪律性、效率提升。

这是一个用于软件开发中请求代码审查的技能，帮助团队在开发过程中及早发现和修复问题，提升代码质量，减少错误传播，并促进团队协作。关键词：代码审查、代码评审、软件开发、质量保证、团队协作、DevOps、代码优化、错误预防、开发流程管理。

这个技能专注于在软件开发过程中，接收和处理代码审查反馈的专业方法。它强调通过技术验证来确保代码质量，避免盲目实施或情绪化回应，包括理解反馈、验证其正确性、评估对代码库的影响，以及理性回应步骤。关键词：代码审查、技术验证、反馈处理、软件开发、质量保证。