测试 Skill技能列表
上下文等价性Skill contextual-equivalence
上下文等价性技能用于证明程序在操作语义学、互模拟等技术下的上下文等价性，应用于程序验证、编译器正确性证明、程序转换验证和优化验证等领域。关键词：程序验证、上下文等价性、操作语义学、互模拟、编译器验证、编程语言、形式化方法。
并发验证器Skill concurrency-verifier
这个技能用于验证并发和并行程序的正确性，检测数据竞争和死锁，确保多线程和分布式系统的可靠性。关键词包括并发验证、数据竞争检测、死锁分析、锁协议验证、内存模型推理、软件测试、并发程序安全。
ACSL注释助手Skill acsl-annotation-assistant
这个技能用于为C/C++程序生成ACSL（ANSI/ISO C Specification Language）形式验证注释，支持函数契约、循环不变量、内存安全注释等，以帮助使用Frama-C等工具进行代码验证和形式验证。关键词：ACSL，形式验证，C/C++，函数契约，Frama-C，代码注释，软件测试。
Web应用测试Skill webapp-testing
这个技能是使用Playwright进行本地Web应用程序测试的工具包，支持验证前端功能、调试UI行为、捕获浏览器截图和查看浏览器日志，适用于自动化测试、调试和QA流程。关键词：Playwright测试、Web应用自动化、前端测试、UI调试、浏览器自动化、QA工具。
验证循环Skill verification-loop
这个技能用于在软件开发过程中提供全面的代码验证，包括构建检查、类型检查、代码质量检查、测试覆盖、安全扫描和差异审查，适用于代码提交前的质量保证，关键词：代码验证、质量检查、测试、安全扫描、DevOps、CI/CD。
技能质量评估器Skill skill-quality-reviewer
本技能用于评估Claude技能的质量，通过分析描述质量、内容组织、写作风格和结构完整性等维度，生成加权分数、等级和改进计划。适合技能开发者、质量保证人员和需要验证技能结构的用户使用。关键词：技能评估、质量分析、Claude技能、质量报告、改进建议、SEO优化。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
代码审查卓越Skill code-review-excellence
此技能专注于代码审查的最佳实践，帮助开发者提供建设性反馈、早期捕捉bug、促进团队知识共享，提升代码质量和协作效率。关键词包括代码审查、建设性反馈、团队协作、代码质量、早期bug捕捉、知识共享、审查标准、PR审查、测试覆盖、安全审查、性能优化。
漏洞侦探Skill bug-detective
漏洞侦探是一个系统调试技能，用于调查和解决代码错误、异常和失败。提供结构化调试工作流程、常见错误模式识别、故障排除方法和预防性策略，帮助开发者快速定位和修复软件问题。关键词：调试、错误排查、代码错误、故障排除、系统调试、软件测试、漏洞修复、调试工具、错误模式、Python调试、JavaScript调试、Bash调试。
Vue.js测试最佳实践Skill vue-testing-best-practices
这个技能涵盖Vue.js测试的最佳实践和模式，包括使用Vitest、Vue Test Utils进行组件测试、模拟、端到端测试等，适合前端开发人员和测试工程师。关键词：Vue.js、测试、最佳实践、Vitest、Vue Test Utils、组件测试、Playwright、端到端测试。
vitestSkill vitest
Vitest是一个基于Vite的快速单元测试框架，提供Jest兼容API，支持原生ESM、TypeScript和JSX，适用于测试开发、模拟、覆盖率分析和性能优化。关键词包括：Vitest、测试框架、Vite、单元测试、Jest兼容、ESM支持、TypeScript、快速测试。
超时测试Skill timeout-test
这个技能用于在软件测试或系统开发中处理超时情况，确保程序在指定时间内响应，适用于性能测试、错误处理和资源管理。关键词：超时测试、软件开发、性能管理、错误处理。