该技能是一个用于验证Claude代码插件文档兼容性的工具，帮助开发者检测破坏性变更、弃用项和发现新功能，适用于软件开发和测试场景。关键词：插件开发、文档验证、兼容性检查、Claude代码、软件开发工具。

这个技能涉及编写Cucumber测试框架中的步进定义代码，用于自动化测试和BDD（行为驱动开发），实现Gherkin场景与测试脚本的绑定。关键词包括Cucumber、步进定义、测试自动化、BDD、Gherkin、JavaScript、Java、Ruby、钩子、World上下文。

Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。

双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。

这个技能是使用Playwright进行本地Web应用程序测试的工具包，支持验证前端功能、调试UI行为、捕获浏览器截图和查看浏览器日志，适用于自动化测试、调试和QA流程。关键词：Playwright测试、Web应用自动化、前端测试、UI调试、浏览器自动化、QA工具。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

Atheris是一个基于libFuzzer的覆盖引导Python模糊测试工具，专门用于对纯Python代码和Python C扩展进行模糊测试，并集成了AddressSanitizer支持以检测内存腐蚀问题。关键词：Python模糊测试、覆盖引导、libFuzzer、内存腐蚀、AddressSanitizer。

这是一个使用外部大型语言模型（如OpenAI Codex和Google Gemini）进行代码审查的工具。它通过CLI接口，支持审查未提交的更改、分支差异或特定提交，帮助开发者提高代码质量、安全性和性能。关键词：代码审查、LLM、外部工具、安全扫描、性能优化、错误处理、自动化审查。

AIOS测试架构师与质量顾问激活器是一个专为软件测试和质量控制设计的工具，提供全面的测试架构审查、质量门决策和代码改进建议。它支持需求追溯、风险评估、测试策略分析等功能，旨在提升软件质量和团队效率。关键词：测试架构、质量顾问、代码审查、需求追溯、风险评估、软件测试。

该技能用于在软件开发过程中，通过使用btca ask命令检查参考SDK实现，帮助开发者高效实现功能、调试问题、比较多提供商方案，并理解最佳实践。关键词：SDK开发、参考实现、调试工具、btca ask命令、多提供商支持、代码检查、软件开发工具。

这个技能用于在软件开发中，通过查询artifact索引和推理文件，快速检索过去的工作决策和方法，帮助识别成功模式并避免重复错误，从而提高开发效率。关键词包括：推理搜索、历史决策、成功模式、失败教训、知识管理、软件开发工具。

死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。