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

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

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

该技能用于自动化创建和管理软件开发项目的上下文文档，包括产品定义、技术栈和指南，通过用户访谈和分析现有代码库，为Maestro代理提供项目理解支持。关键词：项目设置、上下文搭建、自动化工具、DevOps、软件开发、项目初始化。

这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如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。

PR守护者技能用于自动监控GitHub Pull Requests的生命周期，包括处理CI失败、评论回复和线程解决，直到所有检查通过并准备好合并。关键词：GitHub、Pull Request、CI/CD监控、自动化修复、代码审查、DevOps、软件开发、自动化流程、GitHub Actions、测试、lint、类型检查、评论处理、线程解决、知识提取、BEADS任务。

这个技能提供部署Next.js应用到Vercel平台的专家知识，包括环境变量管理、Edge与Serverless运行时选择、构建优化、预览部署和监控设置，适用于前端开发、云原生部署和DevOps实践，关键词：Vercel部署, Next.js, 环境变量, Edge函数, Serverless, 构建优化, 监控, DevOps, 云部署

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