架构设计 Skill技能列表
SSA构造器Skill ssa-constructor
SSA构造器是编译器技术中的关键技能，用于将程序代码转换为静态单赋值（SSA）形式，以支持编译器优化、程序分析和验证。关键词：SSA，编译器，优化，程序分析，静态单赋值，中间表示，支配关系，φ函数。
Lambda演算解释器技能Skill skill-name
这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。
MilanJovanovic博客技能Skill milan-jovanovic-blog
本技能提供对 Milan Jovanovic .NET 技术博客内容的搜索和访问，专注于 Clean Architecture、领域驱动设计、CQRS 等软件架构模式，帮助开发者应用已验证的代码示例和指导，适用于 .NET 10 及以上版本的项目优化。关键词：Clean Architecture, DDD, CQRS, .NET, 软件架构, 代码模式, ASP.NET Core, Entity Framework Core。
Gemini工作空间桥接Skill gemini-workspace-bridge
本技能用于管理Claude和Gemini AI工具之间的共享工作空间架构，定义目录结构、文件存储策略和跨工具协作流程。关键词：工作空间管理、跨AI协作、DevOps、文件存储、AI工具整合、架构设计、双CLI工作流。
Gemini计划工具Skill gemini-plan
这个技能使用Gemini CLI生成Claude可执行的实现计划，帮助软件开发团队自动化规划复杂的多文件更改，提供结构化的任务分解、文件修改和序列排序，适用于架构设计、项目管理和AI辅助开发场景。关键词：实现计划、Claude、Gemini、软件开发、AI生成、自动化规划、架构设计、DevOps工具。
Gemini代码库探索工具Skill gemini-explore
Gemini 代码库探索工具是一款基于Google Gemini AI模型的智能工具，用于自动化分析和探索代码库结构、依赖关系及设计模式。它能够处理大型代码库，生成结构化的Markdown报告，适用于软件开发中的架构设计审查、依赖映射和代码质量评估。关键词：Gemini AI，代码库探索，架构分析，依赖映射，设计模式，Markdown报告，AI辅助开发，代码审查，DevOps工具，自动化分析。
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。
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#实现, 事件版本控制, 协议绑定。