架构设计 Skill技能列表
逐步类型化实现器Skill gradual-typing-implementer
这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括：逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。
GraalVMTruffle语言运行时实现Skill graalvm-truffle-implementer
GraalVM Truffle 实现技能用于使用 GraalVM Truffle 框架高效构建语言运行时，包括解释器、JIT编译优化和多语言应用开发。关键词：GraalVM、Truffle、语言运行时、解释器、JIT编译、多语言互操作、性能优化、AST解释器、节点特化、自优化系统。
GADT实现技能Skill gadt-implementer
这个技能用于实现广义代数数据类型（GADTs），在Haskell、OCaml、Rust等编程语言中创建类型安全的数据结构和抽象语法树。适用于编译器开发、嵌入式领域特定语言（DSL）、类型安全协议实现等场景。关键词：GADT, 类型安全, 数据结构, 编程语言, 类型理论。
FFI设计器Skill ffi-designer
FFI设计技能用于设计和实现外部函数接口，实现不同编程语言之间的代码互操作性。关键功能包括类型映射、调用约定处理、内存管理、回调支持和错误处理。适用于调用C库、系统编程、性能关键互操作等场景。关键词：FFI设计，外部函数接口，语言互操作性，类型安全，内存管理。
逃逸分析Skill escape-analysis
逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
效应处理程序实现者Skill effect-handlers-implementer
这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。
消息队列应用技能Skill using-message-queues
该技能涉及使用消息代理和任务队列实现异步通信模式，专为构建事件驱动系统、处理后台作业或实现服务解耦而设计。涵盖Kafka、RabbitMQ、NATS、Redis Streams、Celery、BullMQ和Temporal等技术，适用于微服务架构、数据分析管道和复杂工作流编排。关键词：消息队列、异步通信、事件驱动、服务解耦、后台作业、任务队列、事件流、工作流编排、微服务、Kafka、RabbitMQ、NATS、Redis、Celery、BullMQ、Temporal。
后端架构师Skill backend-architect
后端架构师技能专精于设计可扩展、弹性、可维护的后端系统和API，涵盖微服务架构、分布式系统、事件驱动模式、REST/GraphQL/gRPC接口等关键领域，适用于构建高性能、可观测、安全的现代化软件架构，助力企业实现系统级优化和数字化转型。关键词：后端架构、微服务、API设计、分布式系统、事件驱动、性能优化、可观测性、安全模式、弹性容错。
设计工作流技能指南Skill designing-workflow-skills
这个技能用于指导和结构化基于工作流的Claude Code技能设计，包括多阶段流程、决策树、子代理委派、渐进式披露等模式。适用于开发涉及序列管道、路由模式、安全门、任务跟踪、分阶段执行的工作流技能，并提升技能质量和可靠性。关键词：工作流设计、技能开发、Claude Code、结构模式、多步流程、AI技能架构、工具优化、反模式避免。
架构优先技能Skill architect-first
该技能基于“架构优先”开发哲学，强调在编码前完成完美架构设计和文档化，通过测试保证质量，适用于软件开发中的架构决策、新功能启动和系统重构。关键词包括：架构设计、软件开发、测试驱动开发、文档化、零耦合、多智能体验证。