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

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

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

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

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

rclone是一个强大的开源工具，用于跨多种云存储服务（如AWS S3、Cloudflare R2、Google Drive等）进行文件上传、同步和管理。它支持大文件传输、备份、数据迁移等场景，是DevOps和云存储管理的理想选择。关键词：rclone, 云存储, 文件传输, 备份, 同步, S3兼容。

此技能教授如何使用wellcrafted库的trySync和tryAsync函数进行优雅的错误处理，替代传统try-catch块。适用于处理Result类型和实现错误恢复，强调类型安全和显式错误管理。关键词：错误处理、trySync、tryAsync、Result类型、TypeScript、优雅恢复。

掌握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技能、路由逻辑、协同激活、架构设计、软件开发、效率提升。

这是一个用于高效探索代码库、搜索代码、获取代码签名的命令行工具，特别优化 token 使用，适用于代码开发、管理和自动化任务。关键词包括：代码库探索、代码搜索、token 效率、CLI 工具、软件开发、DevOps、AI 辅助。