架构设计 Skill技能列表
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
效应处理程序实现者Skill effect-handlers-implementer
这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。
反函数化Skill defunctionalization
反函数化是一种编程技术，用于将高阶程序转换为第一阶程序，通过将闭包表示为数据结构来实现。常用于编译器构建、优化闭包和序列化函数，提升性能和可维护性。关键词：反函数化、高阶程序、第一阶程序、编译器优化、闭包、程序变换、函数式编程、性能优化。
死代码消除器Skill dead-code-eliminator
死代码消除是一种编译器优化技术，用于移除程序中不影响输出的代码，包括不可达代码、未使用计算和冗余赋值，从而减少程序大小、提高性能。关键词：编译器优化，死代码消除，代码优化，性能提升，二进制大小。
数据流分析框架Skill dataflow-analysis-framework
数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。
消息队列应用技能Skill using-message-queues
该技能涉及使用消息代理和任务队列实现异步通信模式，专为构建事件驱动系统、处理后台作业或实现服务解耦而设计。涵盖Kafka、RabbitMQ、NATS、Redis Streams、Celery、BullMQ和Temporal等技术，适用于微服务架构、数据分析管道和复杂工作流编排。关键词：消息队列、异步通信、事件驱动、服务解耦、后台作业、任务队列、事件流、工作流编排、微服务、Kafka、RabbitMQ、NATS、Redis、Celery、BullMQ、Temporal。
设计工作流技能指南Skill designing-workflow-skills
这个技能用于指导和结构化基于工作流的Claude Code技能设计，包括多阶段流程、决策树、子代理委派、渐进式披露等模式。适用于开发涉及序列管道、路由模式、安全门、任务跟踪、分阶段执行的工作流技能，并提升技能质量和可靠性。关键词：工作流设计、技能开发、Claude Code、结构模式、多步流程、AI技能架构、工具优化、反模式避免。
架构优先技能Skill architect-first
该技能基于“架构优先”开发哲学，强调在编码前完成完美架构设计和文档化，通过测试保证质量，适用于软件开发中的架构决策、新功能启动和系统重构。关键词包括：架构设计、软件开发、测试驱动开发、文档化、零耦合、多智能体验证。
提示驱动开发Skill pdd
该技能用于将粗略想法转化为详细的设计文档和实现计划，遵循迭代的需求澄清、研究、设计和规划过程。它强调用户驱动、实时记录和规范驱动方法，适合软件开发前的系统设计阶段。关键词：提示驱动开发、需求澄清、设计文档、实现计划、迭代开发、架构设计、规范驱动。
Saga编排Skill saga-orchestration
Saga编排技能用于实现和管理Saga模式，协调分布式事务和长运行业务流程。它涉及处理多服务事务、补偿事务、工作流编排，适用于微服务架构中的故障处理和业务协调。关键词：Saga模式、分布式事务、补偿事务、工作流编排、微服务架构、系统设计、长运行工作流。
系统图表生成器Skill system-diagrammer
系统图表生成器是一个技能，用于使用Mermaid.js快速生成系统架构图，如C4上下文图和序列图，适用于产品需求文档或技术规范。输出为Mermaid.js代码，兼容GitHub和Notion平台。关键词：系统架构图、Mermaid.js、C4图、序列图、技术文档、软件开发工具、PRDs、架构设计。