这个技能通过Rube MCP和Composio的Onedesk工具包，自动化Onedesk平台上的任务和工作流。它涉及工具发现、连接管理和执行自动化操作，适用于DevOps和软件开发场景。关键词：Onedesk自动化，Rube MCP，Composio，工作流自动化，工具发现，DevOps。

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

Makepad布局技能是一个专门用于Makepad UI框架的布局系统工具，帮助开发者编写布局代码、解释布局概念，如宽度、高度、对齐等，并生成Rust代码模式。关键词：Makepad, UI布局, Rust, 前端开发, 布局系统, GUI设计

这个技能专注于Makepad框架中的事件和动作处理，用于处理鼠标、键盘、触摸等用户输入事件，定义和传播动作以实现GUI组件交互。关键词包括：Makepad、事件处理、动作系统、GUI开发、Rust编程、用户界面、交互设计。

这个技能基于西伯利亚传统萨满实践，用于意识导航、灵魂检索、力量动物识别和多领域旅行。它帮助用户进行深层疗愈、创伤转化和精神成长，适用于需要整合碎片化自我、识别非人类盟友、或经历萨满式启蒙的场景。关键词包括意识导航、灵魂检索、萨满技术、西伯利亚传统、力量动物、多领域旅行、疗愈转化。

这个技能用于管理 shadcn/ui 组件，支持快速添加组件、构建复杂UI功能、研究组件实现和获取安装命令，适用于前端开发项目。关键词：shadcn, UI组件, 前端开发, 组件管理, 快速添加, 复杂构建。

该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。

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

子类型验证器是一种用于在编程语言中验证子类型关系的关键技能，确保类型系统的正确性、安全性和多态性检查。它广泛应用于编译器开发、形式验证和软件测试领域。关键词：子类型、类型系统、验证、编程语言、编译器、形式方法、软件测试。

软件事务内存（STM）是一种并发编程技术，通过将读写操作组合成原子事务来简化无锁算法的设计，确保数据一致性，适用于并发数据结构构建和原子操作组合。关键词：软件事务内存、并发编程、无锁代码、原子操作、数据一致性、事务处理。

程序转换器是一种用于程序分析和编译器工程的技能，通过语义保持的转换和优化传递来改进程序性能、简化代码结构并确保程序属性，广泛应用于编译器开发、程序优化工具、重构工具和领域特定语言实现中。关键词：程序转换、语义保持、优化、编译器工程、程序分析、AST操作、代码重构。

此技能用于通过命令行工具obsidian-cli自动化管理Obsidian笔记库，实现笔记的搜索、创建、移动和删除，提高笔记管理效率。关键词：Obsidian, 笔记管理, 自动化, Markdown, CLI, 脚本, 生产力工具。