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

该技能用于通过Rube MCP自动化帕玛任务，包括工具发现、连接验证和执行操作，适用于提升自动化工作流程效率。关键词：帕玛自动化，Rube MCP，工具集成，DevOps，自动化操作。

此技能用于在Git流程中自动化完成软件发布。它通过识别版本、运行测试、更新变更日志、使用git-flow-next CLI完成发布并合并到main和develop分支，最后创建GitHub发布，实现发布流程的标准化和高效管理。关键词：Git发布、完成发布、合并分支、更新日志、自动化发布、DevOps、软件发布流程、版本控制。

这个技能是一个薄包装器，用于委托通用实现任务给子代理，处理后处理操作如状态更新、工件链接和Git提交，适用于软件开发中的自动化实施流程。关键词包括：实现、任务、代理、后处理、状态更新、Git提交、自动化、DevOps。

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

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

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

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

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