这个技能用于自动化执行端到端测试规范，验证软件应用的用户旅程，确保功能完整性和质量。它适用于软件开发测试阶段，提高测试效率、减少人为错误。关键词：端到端测试、自动化测试、测试执行、用户旅程验证、软件测试、测试运行器、E2E测试、测试规范、测试结果报告。

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

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

该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。

上下文等价性技能用于证明程序在操作语义学、互模拟等技术下的上下文等价性，应用于程序验证、编译器正确性证明、程序转换验证和优化验证等领域。关键词：程序验证、上下文等价性、操作语义学、互模拟、编译器验证、编程语言、形式化方法。

这个技能用于测试基于目录的技能发现机制，常用于冒烟测试中，以确保技能加载和功能正常。关键词：技能发现、冒烟测试、目录测试、软件开发测试。

Playwriter 是一款用于浏览器自动化的工具，通过使用持久Chrome会话和Playwright Page API，实现网页测试、UI验证、认证流程自动化等，适用于开发者和QA测试人员。关键词：浏览器自动化、Playwright、Chrome会话、网页测试、UI测试、自动化脚本、持久化状态。

这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。

异步REPL协议是一种用于测试的工具，专门设计用于处理异步代码执行。它要求在返回Future的工具时使用await关键字，并强制在单个代码块中计算和返回结果，以提高测试效率和准确性。适用于Python异步编程环境，关键词包括异步、REPL、协议、测试、Python、代码块、await、工具、Agentica、harness。

这个技能用于在软件测试或系统开发中处理超时情况，确保程序在指定时间内响应，适用于性能测试、错误处理和资源管理。关键词：超时测试、软件开发、性能管理、错误处理。

这个技能实现了一个多代理代码审查流程，使用AI代理自动化审查GitHub拉取请求（PR），提高代码质量和开发效率。它通过三个独立的AI子代理从不同角度（如正确性、代码健康、用户体验）分析代码更改，并通过推理分析验证问题，自动去重评论，发布裁决和摘要。适用于软件测试、DevOps自动化和代码质量保证场景。关键词：代码审查、多代理AI、自动化测试、GitHub集成、软件质量保证、PR审查、DevOps、CI/CD、AI智能体、代码健康。

这个技能用于在代码提交前运行自动化检查，包括代码格式化、代码风格检查和类型检查，自动或手动修复问题，确保代码质量和一致性。关键词：预提交检查、代码格式化、代码检查、类型检查、自动化修复、代码质量保证。