这个技能通过结构化提问和替代方案探索，使用苏格拉底方法将初步想法精炼为完整设计。它涉及理解需求、探索多种方法、逐步呈现设计并进行验证，适用于软件开发、产品管理和协作场景。关键词：交互式想法精炼、设计开发、苏格拉底方法、结构化问题、设计验证、软件开发、架构设计。

这个技能用于设计和实现分类法结构，支持扁平、分层和多维分类模式，适用于内容管理系统、电子商务导航、标签系统和数据建模等场景。关键词：分类法设计、架构模式、内容组织、SEO优化、数据分类。

这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。

寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。

这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括：逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。

逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。

效应系统是一种编程技能，用于在类型级别跟踪和控制程序中的副作用，如输入输出、状态管理和异常处理，提高代码的纯度和安全性，支持优化、功能式编程和软件架构设计。关键词包括：效应系统，副作用跟踪，类型系统，功能式编程，效应处理器，编程语言设计，软件架构。

该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。

这个技能用于实现actor模型，支持并发计算和分布式系统开发，包括创建actors、处理消息传递、管理邮箱和实现行为。关键词包括：actor模型、并发计算、分布式编程、消息传递、容错系统、异步通信、软件架构。

这个技能用于优化代码搜索过程，通过根据查询类型（如结构型、语义型、字面型）智能选择最令牌高效的搜索工具（如AST-grep、LEANN、Grep、Read），以提高软件开发效率。关键词：代码搜索、工具选择、令牌效率、结构化搜索、语义搜索、字面搜索、搜索优化、开发工具链。

路由器优先架构是一种软件架构模式，用于通过路由器抽象工具选择，确保在技能调用中优先使用路由器进行路由，以提高效率和一致性。它涉及两层设计：触发层和路由层，支持协同激活以优化工具映射。关键词：路由器优先架构、工具选择抽象、Claude技能、路由逻辑、协同激活、架构设计、软件开发、效率提升。

模式发现技能是一种软件开发实践，用于在实施新功能前检查模式库，确保模式优先开发，提高代码复用和一致性。关键词：模式优先开发、模式库、API路由、UI组件、数据库操作、代码复用。