架构设计 Skill技能列表
架构决策记录管理Skill adr-management
此技能用于创建和管理架构决策记录（ADRs），帮助团队文档化和跟踪技术选择、设计决策及架构变化。关键词：架构决策记录、ADR管理、技术文档、决策记录、软件开发架构。
深度分析技能Skill analyze
这个技能用于深度分析系统架构、调试bug、调查性能问题和依赖关系。通过路由到架构师代理或Codex MCP，提供结构化发现和证据，帮助用户理解系统行为、识别根本原因并评估影响。关键词：分析、调查、架构设计、bug调试、性能优化、依赖分析、系统推理。
技能模板Skill template-skill
这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。
MatrixSDK集成技能Skill robius-matrix-integration
这个技能用于将Matrix SDK集成到Makepad应用程序中，实现聊天客户端的实时更新、时间线管理、房间操作等功能，基于Robrix和Moly代码库的最佳实践。关键词：Matrix SDK, Makepad, 集成, 聊天客户端, 滑动同步, 时间线, 实时更新, 异步操作, 架构设计
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。
解析器生成器Skill parser-generator
解析器生成器是一种关键技能，用于从上下文无关语法自动生成解析器，支持LALR(1)和递归下降算法。它广泛应用于编译器开发、领域特定语言设计、配置解析等场景，帮助开发者高效处理结构化文本和数据。关键词：解析器生成，语法分析，编译器构建，LALR解析，递归下降，AST生成。
所有权和借用类型系统Skill ownership-type-system
该技能实现了Rust风格的所有权和借用类型系统，用于验证内存安全、预防数据竞争和生命周期分析。关键词：所有权、借用、内存安全、数据竞争、生命周期、Rust、类型系统、编程语言。
战略规划顾问Skill strategic-planning-advisor
战略规划顾问技能专注于提供系统架构、可扩展性和长期维护策略的高层专业建议，帮助在项目初期做出明智的架构决策，关键词包括系统架构、可扩展性、长期维护、战略规划、架构设计、高层建议。
技术栈顾问Skill tech-stack-advisor
技术栈顾问是一个技能，用于基于项目需求推荐合适的技术栈。它覆盖前端、后端、数据库等多个类别，提供技术选型和比较功能。关键词：技术栈推荐、软件开发工具、技术选型、全栈组合、遗留代码扫描。
代码库映射技能Skill codebase-mapping
代码库映射技能用于生成结构化代码库地图，帮助分析项目结构、依赖关系和架构模式，适用于探索陌生代码库、文档化和架构决策。关键词：代码库映射、依赖图、文件关系、架构分析、项目文档、代码分析、软件开发、架构设计。