软件开发 Skill技能列表
桌面UI元素检查Skill desktop-inspect
该技能用于检查桌面窗口的UI元素树结构，帮助调试UI自动化问题、理解界面布局，并查找正确的元素标识符，适用于自动化测试和应用程序开发，关键词包括UI自动化、调试、元素树、界面结构、桌面应用。
深度错误分析Skill break-loop
该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。
Makepad基础技能Skill makepad-basics
这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。
ClaudeCode插件结构Skill PluginStructure
此技能用于创建和管理Claude Code插件的标准化目录结构，包括命令、代理、技能和钩子的组织，利用自动发现机制和可移植路径引用${CLAUDE_PLUGIN_ROOT}。关键词：Claude Code、插件开发、目录结构、自动发现、组件组织、plugin.json、DevOps工具。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
GitHub问题分流与贡献者信息提取技能Skill gh-issue-triage
此技能用于GitHub开源项目的问题管理自动化工作流，通过分析、澄清、归档、标记、实施和信用步骤，高效处理问题报告，并提取贡献者信息如Twitter句柄，以确保在代码更改集中给予适当致谢。关键词：GitHub问题分流，贡献者信用管理，工作流自动化，开源协作，Twitter集成，DevOps工具。
严格测试驱动开发Skill tdd-strict
这个技能用于强制执行严格的测试驱动开发（TDD）实践，确保在编写代码之前先编写测试，遵循红-绿-重构循环，并避免无效的理性化。它适用于新功能、错误修复和重构，提供验证清单和最佳实践，以提高代码质量和开发效率。关键词：测试驱动开发，TDD，单元测试，红绿重构，代码测试，软件开发，自动化测试，质量保障。
监控与可观测性Skill monitoring-observability
此技能用于实现生产应用程序的全面监控、日志记录、指标追踪和警报系统，以确保应用可靠性和快速事件响应。关键词包括监控、可观测性、日志、指标、追踪、警报、DevOps、系统健康、性能监控、错误跟踪、分布式追踪、SLO/SLA、仪表板、健康检查、日志聚合。
文档生成Skill documentation-generation
文档生成技能专注于创建和维护全面的技术文档，包括API文档、组件库、README文件、架构图和开发者指南，使用工具如JSDoc、Storybook和Docusaurus。适用于软件项目开发中的文档化、技术指南编写和代码文档生成，提高项目可维护性和开发者体验。关键词：技术文档、API文档、组件文档、README、变更日志、开发者指南、文档生成。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。