架构设计 - SkillsBot AI Skill技能库

TLA+规范技能Skill tla-specification

这个技能用于使用TLA+形式化规范语言设计和验证分布式系统和并发算法，支持精确设计、早期错误检测、模型检查和文档生成。关键词：TLA+、形式化验证、分布式系统、并发算法、模型检查、系统设计、安全属性、活性属性。

状态图生成Skill state-diagram

状态图生成技能用于从行为描述自动创建状态机图，支持PlantUML、Mermaid、XState等多种格式和C#或TypeScript实现代码生成，适用于软件生命周期建模、工作流设计、系统架构和状态机可视化，关键词：状态机、状态图、建模、工作流、软件设计、自动生成、PlantUML、Mermaid、XState。

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#实现, 事件版本控制, 协议绑定。

Saga模式技能Skill saga-patterns

此技能专注于设计和实现分布式事务的Saga模式，支持编排和编排两种协调风格。它提供模式指导、最佳实践和实现示例，适用于微服务架构中的事务处理，确保最终一致性。关键词：Saga模式，分布式事务，微服务，编排，编排，补偿事务，错误处理。

事件风暴高级技能Skill event-storming-advanced

事件风暴高级技能是一种软件设计和业务建模方法论，用于通过事件风暴会话深入探讨业务流程、软件架构和系统设计。它帮助团队在领域驱动设计（DDD）中识别事件、命令、聚合等，促进协作和清晰度。关键词：事件风暴、领域驱动设计、软件架构、业务流程建模、团队协作、事件源、有界上下文。

CQRS架构设计与查询优化技能Skill cqrs-architecture

本技能提供CQRS（命令查询职责分离）架构的完整设计与实现指南，涵盖从基础模式到高级事件驱动系统的查询优化、命令处理和同步策略。适用于构建可扩展、高性能的微服务和分布式系统。关键词：CQRS，软件架构，查询优化，事件驱动，命令处理，读模型，微服务，可扩展系统，MediatR实现。

Discord机器人开发架构师Skill discord-bot-architect

这个技能专注于构建生产就绪的Discord机器人，覆盖Discord.js（JavaScript）和Pycord（Python）开发框架，包括网关意图配置、斜杠命令实现、交互组件（如按钮和选择菜单）的使用，以及处理速率限制和分片技术。帮助开发者掌握高性能、可靠的Discord机器人设计与部署，避免常见错误如滥用消息内容意图和阻塞事件循环。关键词：Discord机器人、Discord.js、Pycord、斜杠命令、交互组件、机器人架构、速率限制、分片。