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

实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。

Deno技能：一个安全的JavaScript和TypeScript运行时，用于服务器端开发，支持依赖管理、任务运行、代码格式化和测试，优化SEO关键词如Deno开发、JavaScript运行时、TypeScript工具。

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

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

这个技能是一个结构化的工作流，用于在软件开发中完成一个开发分支。它指导用户在测试通过后，通过呈现合并到主分支、创建Pull Request、保持分支或丢弃工作等选项，来集成或管理代码。关键词包括：开发、测试、Git、合并、Pull Request、工作流、清理。

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

这个技能是任务执行引擎，用于自动化执行软件开发中的实现任务。它基于设计文档中的Markdown复选框来管理任务状态，支持批处理、恢复中断工作，并集成到功能管道中。关键词包括：任务执行、自动化实现、Markdown任务管理、软件开发工具、DevOps。

掌握MongoDB数据库在Node.js、Python和Java应用程序中的集成开发技术，包括连接管理、事务处理、错误处理和最佳实践。关键词：MongoDB, 应用开发, 数据库集成, Node.js, Python, Java, 后端开发。

这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。

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

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