该技能用于自动化进行Neovim文本编辑器的配置研究，通过分析插件文档和探索代码库，为Neovim配置任务提供研究支持。适用于软件开发中的工具配置和优化。关键词：Neovim, 配置研究, 插件文档, 代码库探索, 自动化研究, 技能调用。

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

这是一个自动化版本管理的技能，通过读取Git历史记录、生成变更日志、自动升级版本号（如补丁、次要、主要）和准备发布，简化软件发布流程，无需手动操作。关键词：发布管理器、版本管理、自动化发布、变更日志、Git、DevOps工具、CI/CD集成。

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

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

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

掌握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 辅助。

这是一个自动化系统健康检查工具，用于审计和维护Claude Code组件的状态，包括技能、代理、钩子和内存系统。它支持全面检查、快速模式和自动修复，提高系统稳定性和可靠性，适合DevOps工程师和软件开发团队。关键词：系统健康检查、自动化审计、技能管理、代理验证、钩子构建、内存系统、Claude Code、MOT、SEO优化工具、DevOps监控。