架构设计 Skill技能列表
逃逸分析Skill escape-analysis
逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。
效应类型系统Skill effect-type-system
效应类型系统是一种编程技能，用于实现代数效应类型系统，帮助开发者在处理副作用、可扩展效应和效应推断时，以类型安全的方式设计和跟踪计算。它适用于编译器和解释器设计、编程语言实现和系统架构，提高代码可靠性和可维护性。关键词：效应类型系统、代数效应、类型系统、副作用管理、效应推断、编程语言设计、软件开发架构、效应处理器。
效应系统Skill effect-system
效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。
反函数化Skill defunctionalization
反函数化是一种编程技术，用于将高阶程序转换为第一阶程序，通过将闭包表示为数据结构来实现。常用于编译器构建、优化闭包和序列化函数，提升性能和可维护性。关键词：反函数化、高阶程序、第一阶程序、编译器优化、闭包、程序变换、函数式编程、性能优化。
数据流分析框架Skill dataflow-analysis-framework
数据流分析框架是一个用于实现静态程序分析的通用工具，支持定义Lattice、实现转移函数和求解数据流方程。它适用于编译器优化、bug检测和程序验证，关键词包括：数据流分析、静态分析、编译器、程序验证、Lattice、工作列表算法、软件架构设计。
公共子表达式消除器Skill common-subexpression-eliminator
公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。
闭包转换器Skill closure-converter
闭包转换器是编译器设计和函数式语言实现中的关键技术，用于将闭包转换为显式环境传递，优化代码生成和性能。关键词：闭包转换、编译器、环境传递、lambda提升、函数式编程、代码优化、自由变量分析。
TLDR代码分析工具Skill tldr-code
这个技能是一个令牌高效代码分析工具，通过五层堆栈（抽象语法树、调用图、控制流图、数据流图、程序依赖图）实现95%令牌节省，帮助开发者理解代码结构、调试、重构、复杂性分析和跨文件依赖。关键词包括代码分析、AST、调用图、复杂性分析、调试工具、代码架构、令牌节省。
路由器优先架构Skill router-first-architecture
路由器优先架构是一种软件架构模式，用于通过路由器抽象工具选择，确保在技能调用中优先使用路由器进行路由，以提高效率和一致性。它涉及两层设计：触发层和路由层，支持协同激活以优化工具映射。关键词：路由器优先架构、工具选择抽象、Claude技能、路由逻辑、协同激活、架构设计、软件开发、效率提升。
代码库研究分析师Skill repo-research-analyst
这是一个专业技能，用于系统分析代码仓库的结构、文档、模式和约定，帮助开发者快速理解和贡献到新项目，提升开发效率。关键词包括：代码库、研究、分析、文档、架构、模式、约定、贡献指南、SEO搜索优化。
计划代理Skill planning-agent
这个技能是一个计划代理，用于根据对话上下文创建软件实施计划和交接文档。它研究代码库，分析现有功能，并生成详细的任务列表和成功标准，适用于软件开发中的架构设计和项目管理。关键词：计划代理、实施计划、代码库研究、软件开发、架构设计、项目管理、交接文档、技术规划。
并行代理类型合约管理Skill parallel-agent-contracts
这个技能专注于在并行代理代码实现中管理类型合约，通过自动化工具如TypeScript编译器（tsc）和grep命令，确保代码类型的一致性，防止重复定义，提高开发效率。关键词：类型管理、代码验证、并行代理、软件开发、自动化工具、类型安全、代码质量、快速失败机制。