软件开发 Skill技能列表
Git全面配置与管理指南Skill git-config
本技能提供Git版本控制系统的详细配置指南，涵盖全局设置、性能优化、别名管理、凭证安全、维护任务和故障排除。适用于开发者和DevOps工程师，帮助优化工作流、提高效率并确保跨平台兼容性。关键词：Git配置、性能优化、别名设置、凭证管理、维护、故障排除、DevOps。
Bash别名管理Skill bash-aliases
此技能用于管理Bash shell中的别名，特别优化git命令和Claude Code工具的使用，提供交互式安装、状态检查、审计和卸载功能，帮助开发者提高命令行效率，简化工作流程。关键词：Bash别名、Git快捷方式、Claude Code、命令行管理、DevOps工具、交互式向导。
用例编写Skill use-case-authoring
这个技能基于Use Case 2.0方法论，用于捕获软件系统的功能需求并文档化参与者与系统之间的交互。它支持敏捷开发，包括用例规范、流程图、测试场景等，适用于需求分析、测试设计和系统设计。关键词：用例编写, Use Case 2.0, 需求捕获, 软件测试, 敏捷开发。
UML建模Skill uml-modeling
这个技能用于创建 UML 图，包括类图、序列图、活动图、用例图和状态图，支持 PlantUML 和 Mermaid 语法，适用于软件设计、架构规划、文档编写和设计评审。关键词：UML 建模，软件设计，架构设计，图表生成，PlantUML，Mermaid，软件开发工具。
TLA+规范技能Skill tla-specification
这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。
SysML建模技能Skill sysml-modeling
这个技能专注于使用系统建模语言（SysML）进行系统工程和复杂系统设计。它包括需求分析、结构建模、行为定义和参数约束，支持基于模型的系统工程（MBSE）。关键词：SysML, 系统工程, 建模, MBSE, 系统设计, PlantUML。
状态图生成Skill state-diagram
状态图生成技能用于从行为描述自动创建状态机图，支持PlantUML、Mermaid、XState等多种格式和C#或TypeScript实现代码生成，适用于软件生命周期建模、工作流设计、系统架构和状态机可视化，关键词：状态机、状态图、建模、工作流、软件设计、自动生成、PlantUML、Mermaid、XState。
形式化规范生成Skill specify
这个技能用于创建系统组件、行为和算法的形式化规范，支持TLA+、SysML、状态机和UML格式，特别适用于安全关键系统的设计和验证。关键词：形式化规范，系统设计，安全关键系统，TLA+，SysML，状态机，UML。
ProtocolBuffers设计技能Skill protobuf-design
这个技能专注于设计和定义 Protocol Buffers（proto3）服务合同，用于创建高效、类型化、跨语言的 API 接口，特别适用于 gRPC 服务和 C# 实现。关键词：Protocol Buffers, gRPC, 服务设计, API 合同, 架构设计, 微服务, 后端开发, 模式演化。
OpenAPI设计Skill openapi-design
此技能用于基于OpenAPI 3.1规范进行合同优先的REST API设计，包括定义API契约、遵循最佳实践和实现设计工作流。关键词：OpenAPI, REST API, 设计, 规范, 合同优先。
异步API设计Skill asyncapi-design
此技能用于设计和规范事件驱动的API，采用AsyncAPI 3.0标准，适用于基于消息的架构如Kafka、RabbitMQ、MQTT和WebSocket。它包括C#实现、事件版本化、协议绑定和文档优先方法，帮助开发人员构建异步通信系统。关键词：AsyncAPI 3.0, 事件驱动API, 消息架构, Kafka, RabbitMQ, C#实现, 事件版本控制, 协议绑定。
API契约生成Skill api-contract
这个技能用于从需求描述自动生成API规范，支持OpenAPI、AsyncAPI和Protobuf格式，适用于合同优先的API开发，帮助设计REST API、事件驱动API和gRPC服务。关键词：API生成、契约设计、OpenAPI、AsyncAPI、Protobuf、API开发。