软件开发 Skill技能列表
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开发。
Saga模式技能Skill saga-patterns
此技能专注于设计和实现分布式事务的Saga模式，支持编排和编排两种协调风格。它提供模式指导、最佳实践和实现示例，适用于微服务架构中的事务处理，确保最终一致性。关键词：Saga模式，分布式事务，微服务，编排，编排，补偿事务，错误处理。
事件风暴高级技能Skill event-storming-advanced
事件风暴高级技能是一种软件设计和业务建模方法论，用于通过事件风暴会话深入探讨业务流程、软件架构和系统设计。它帮助团队在领域驱动设计（DDD）中识别事件、命令、聚合等，促进协作和清晰度。关键词：事件风暴、领域驱动设计、软件架构、业务流程建模、团队协作、事件源、有界上下文。
事件溯源设计Skill event-sourcing-design
该技能用于设计事件溯源系统，包括事件存储、投影和版本控制模式，适用于需要完整审计追踪、复杂业务逻辑和事件驱动架构的软件开发场景。关键词：事件溯源、软件架构、微服务、审计追踪、事件驱动、数据持久化。
事件建模Skill event-modeling
事件建模技能是一种基于Adam Dymitruk方法论的可视化工具，用于设计和规划事件驱动系统。它涵盖命令、事件、读模型和自动化四种规范，通过泳道图帮助团队在软件开发中进行架构设计、事件驱动架构规划和最佳实践遵循。关键词：事件建模，事件驱动系统，架构设计，泳道图，命令事件模型，系统设计，软件架构，可视化方法，业务过程建模。
CQRS架构设计与查询优化技能Skill cqrs-architecture
本技能提供CQRS（命令查询职责分离）架构的完整设计与实现指南，涵盖从基础模式到高级事件驱动系统的查询优化、命令处理和同步策略。适用于构建可扩展、高性能的微服务和分布式系统。关键词：CQRS，软件架构，查询优化，事件驱动，命令处理，读模型，微服务，可扩展系统，MediatR实现。
扎克曼分析Skill zachman-analyze
这个技能用于基于扎克曼框架分析系统架构，从不同视角（如规划者、所有者等）和疑问词（如什么、如何等）提供结构化分析，帮助用户理解架构设计层次。关键词：扎克曼框架，架构分析，企业架构，系统设计，软件开发，视角分析。