这个技能自动化执行GitHub问题创建工作流程，基于测试驱动开发（TDD）原则和常规提交标准。它通过分析仓库状态、创建结构化问题并处理文档，提升软件开发效率。关键词：GitHub问题创建、TDD、自动化工作流程、DevOps、常规提交、Git操作、问题管理。

智能补丁器是一个工具，用于安全地应用代码差异补丁，自动执行代码检查以发现错误，并更新代码库索引，提高开发效率和代码质量。关键词：代码补丁、代码检查、自动索引、DevOps工具、软件开发、代码维护。

本技能专注于在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演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。

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

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

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

数据库迁移技能用于安全地创建和管理可逆数据库迁移，包括迁移模板、预迁移清单、迁移类型分类和回滚策略，帮助开发者在修改数据库架构时实现安全部署和快速回滚。关键词：数据库迁移、回滚脚本、安全迁移、DevOps、数据库架构。

系统策略师是一个高级决策工具，专注于技术权衡（如SQL vs NoSQL）、系统可扩展性规划（如缓存、读取副本）和迁移策略制定（如绞杀者模式、蓝绿部署），帮助软件架构师优化系统设计、实施和迁移，关键词包括系统策略、权衡评估、可扩展性、迁移策略、架构设计、DevOps、软件架构、决策支持。

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