架构设计 Skill技能列表
技术债务检测Skill phx:techdebt
该技能用于分析Elixir/Phoenix项目中的技术债务，自动化检测重复代码模式、反模式，并提供重构建议，适用于代码审计和质量提升。关键词：技术债务，代码分析，重复代码检测，重构，Elixir，Phoenix，代码审计。
TypeBox与TypeMap模式验证Skill typebox
这个技能涉及使用TypeBox和TypeMap库进行运行时类型验证、JSON Schema定义和Standard Schema支持，提供高性能的模式编译和库之间翻译功能，适用于多种开发场景如前端、后端或测试。关键词：TypeBox, TypeMap, 运行时验证, JSON Schema, Standard Schema, 模式编译, 高性能验证, 库翻译。
头脑风暴Skill brainstorming
头脑风暴技能通过结构化方法在项目实施前进行创意构思、探索多种方案、挑战假设并细化设计，适用于软件开发、产品设计和项目管理中，以提升创新效率和解决方案质量。关键词：头脑风暴、创意细化、系统架构、问题解决、替代方案探索、软件开发、产品设计。
分层式代码审查Skill hierarchical
分层式代码审查技能是一个全面的代码审查工具，通过使用专用子代理进行多阶段评估，专门处理具有复杂架构影响、安全顾虑的Pull Request审查。它整合技术领导评估、代码逻辑、安全性和用户体验审查，提供优先级排序的建议，并支持优化实施。关键词：代码审查、架构设计、安全评估、多代理系统、PR审查、软件开发质量保证、分层式评估、代码优化。
模式发现Skill pattern-discovery
模式发现技能是一种软件开发实践，用于在实施新功能前检查模式库，确保模式优先开发，提高代码复用和一致性。关键词：模式优先开发、模式库、API路由、UI组件、数据库操作、代码复用。
技能模板Skill template-skill
这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。
Lambda演算解释器技能Skill skill-name
这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
SSA构造器Skill ssa-constructor
SSA构造器是编译器技术中的关键技能，用于将程序代码转换为静态单赋值（SSA）形式，以支持编译器优化、程序分析和验证。关键词：SSA，编译器，优化，程序分析，静态单赋值，中间表示，支配关系，φ函数。
会话类型检查器Skill session-type-checker
会话类型检查器是一种软件技能，用于验证通信协议的类型安全性，通过定义会话类型来确保分布式系统中消息传递的顺序正确，防止死锁和错误。适用于通信协议验证、分布式系统、并发编程等场景，关键词包括：会话类型、通信协议、类型系统、分布式系统、并发编程、协议验证。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
寄存器分配器Skill register-allocator
寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。