软件开发 Skill技能列表
GitGUI工具指南Skill gui-tools
本技能提供Git图形用户界面工具的安装、配置、选择指南，涵盖GitKraken、Sourcetree、GitHub Desktop等流行工具，支持Windows、macOS、Linux平台。包括工具比较、故障排除和最佳实践，帮助开发者高效使用Git GUI工具。关键词：Git GUI工具，安装，配置，选择，故障排除，跨平台，GitKraken，Sourcetree，GitHub Desktop。
GitGPG签名Skill gpg-signing
本技能提供全面的GPG提交签名指南，帮助用户在Windows、macOS、Linux等多平台上设置、配置和故障排除GPG工具，确保代码提交的安全性和可验证性。涵盖密钥生成、Git配置、密码缓存、GitHub集成和常见问题解决，并遵循安全最佳实践。适用于开发者和DevOps工程师，优化开发工作流。关键词：GPG, Git, 提交签名, 密钥管理, 故障排除, 安全, 多平台, DevOps。
Git多身份配置Skill git-identity
Git多身份配置技能通过includeIf条件包含实现目录范围的Git身份隔离，自动应用正确的身份设置，包括用户邮箱、GPG密钥和SSH密钥。适用于工作与个人Git身份分离、多GitHub账户管理、修复提交验证问题等场景，提升开发效率。关键词：Git配置、多身份、目录隔离、includeIf、GPG签名、SSH密钥、GitHub账户。
Git钩子技能Skill git-hooks
这个技能提供关于Git钩子的全面指导，帮助开发者设置和管理Git钩子，以提高代码质量、自动化测试、安全扫描和团队协作。涵盖.NET/C#、JavaScript/TypeScript、Python等多生态系统，包括框架选择、性能优化、CI/CD集成等关键词，便于SEO搜索。
Git全面配置与管理指南Skill git-config
本技能提供Git版本控制系统的详细配置指南，涵盖全局设置、性能优化、别名管理、凭证安全、维护任务和故障排除。适用于开发者和DevOps工程师，帮助优化工作流、提高效率并确保跨平台兼容性。关键词：Git配置、性能优化、别名设置、凭证管理、维护、故障排除、DevOps。
用例编写Skill use-case-authoring
这个技能基于Use Case 2.0方法论，用于捕获软件系统的功能需求并文档化参与者与系统之间的交互。它支持敏捷开发，包括用例规范、流程图、测试场景等，适用于需求分析、测试设计和系统设计。关键词：用例编写, Use Case 2.0, 需求捕获, 软件测试, 敏捷开发。
TLA+规范技能Skill tla-specification
这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。
状态图生成Skill state-diagram
状态图生成技能用于从行为描述自动创建状态机图，支持PlantUML、Mermaid、XState等多种格式和C#或TypeScript实现代码生成，适用于软件生命周期建模、工作流设计、系统架构和状态机可视化，关键词：状态机、状态图、建模、工作流、软件设计、自动生成、PlantUML、Mermaid、XState。
形式化规范生成Skill specify
这个技能用于创建系统组件、行为和算法的形式化规范，支持TLA+、SysML、状态机和UML格式，特别适用于安全关键系统的设计和验证。关键词：形式化规范，系统设计，安全关键系统，TLA+，SysML，状态机，UML。
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开发。