本技能专注于在Makepad应用程序中实现事件处理和动作模式的最佳实践，基于Robrix和Moly代码库。它提供了自定义动作定义、小部件事件处理、集中动作处理以及异步动作集成等模式，适用于UI开发和前端应用构建。关键词：Makepad事件处理，动作模式，UI开发，Rust编程，Robrix，Moly，小部件动作，异步处理，前端框架。

这个技能专注于Makepad框架中的着色器编程，用于帮助用户编写和解释着色器代码，包括生成shader代码、回答问题、解释Sdf2d和GLSL函数。适用于前端开发和图形渲染，关键词包括：Makepad, 着色器, SDF, GLSL, 前端开发, 图形编程, UI设计。

这个技能专注于Makepad跨平台开发，提供平台支持、条件编译和平台API使用指导，帮助开发者在macOS、Windows、Linux、iOS、Android、Web等多个操作系统上构建兼容且高性能的应用。关键词：Makepad、跨平台开发、平台支持、条件编译、OsType、图形后端、前端UI。

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

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

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

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

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

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

这个技能用于在软件开发中，通过为每个任务派遣独立的子代理来执行实现计划，并进行两阶段审查（首先是规范符合性审查，然后是代码质量审查），以提高开发质量和迭代速度。关键词：子代理、实现计划、独立任务、规范审查、代码质量审查、软件开发流程。

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

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