这个技能用于深度分析系统架构、调试bug、调查性能问题和依赖关系。通过路由到架构师代理或Codex MCP，提供结构化发现和证据，帮助用户理解系统行为、识别根本原因并评估影响。关键词：分析、调查、架构设计、bug调试、性能优化、依赖分析、系统推理。

这是一个技能模板，用于定义和描述特定技能，指定Claude AI应该在何种情况下使用该技能。关键词：技能模板、Claude AI、使用场景、AI技能定义、技能开发、AI应用模板。

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

变更数据捕获（CDC）是一种数据库架构技术，用于实时追踪数据库表中的INSERT、UPDATE、DELETE操作，并将变更记录写入专用表中，以支持数据同步引擎实现远程数据推送。该技能适用于数据库同步、数据备份、实时分析等场景，提高数据一致性和可追溯性。关键词包括：CDC、变更数据捕获、数据库同步、Turso、SQLite、数据变更追踪、架构设计、后端开发、数据工程。

模块系统是实现代码组织、封装和命名空间管理的关键技能，适用于大型软件开发、架构设计和编程语言设计，提升代码可维护性和扩展性，涵盖模块、签名、函子、依赖管理等核心概念。关键词：模块系统、代码组织、封装、命名空间管理、软件开发、架构设计、编程语言设计。

这个技能用于实现广义代数数据类型（GADTs），在Haskell、OCaml、Rust等编程语言中创建类型安全的数据结构和抽象语法树。适用于编译器开发、嵌入式领域特定语言（DSL）、类型安全协议实现等场景。关键词：GADT, 类型安全, 数据结构, 编程语言, 类型理论。

这个技能用于实现代数效应的效应处理程序，支持构建效应系统、自定义效应和可扩展效应处理，适用于编程语言开发、控制流管理和软件开发。关键词：效应处理程序、代数效应、控制流、编程语言、软件开发、效应系统、自定义效应、可扩展性。

CPS转换器是一种编程技能，用于将直接风格程序转换为连续传递风格，主要应用于编译器构建、控制运算符实现和界定延续的添加。该技能在编程语言设计和实现中发挥关键作用，优化代码执行和异步编程。关键词：CPS、编译器、转换、控制运算符、连续传递风格、编程语言、优化、异步编程。

公共子表达式消除器是一种编译器优化技能，用于识别和消除代码中的重复计算，提高程序性能。适用于编译器构建、代码优化和程序分析，关键词包括编译器优化、代码优化、公共子表达式消除、程序分析。

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

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

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