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操作、代码重构。

跨过程分析是一种静态分析技能，用于分析程序中函数或过程之间的交互，实现全程序分析。它涉及构建调用图、执行上下文敏感分析等，常用于安全漏洞检测、编译器优化和bug查找。关键词：跨过程分析、静态分析、程序分析、安全检测、编译器优化。

依赖类型实现器是一个高级技能，用于实现依赖类型理论的核心组件，如Π类型和Σ类型。它支持类型检查、转换和证明细化，适用于构建证明辅助工具、形式化数学和验证编程。关键词包括依赖类型、类型系统、证明辅助工具、Coq、Agda、Idris、类型理论、形式化验证。

此技能用于自动化执行Neovim配置研究任务，通过委托子代理探索插件文档和代码库，实现配置优化、模式识别和报告生成。它采用后飞行模式处理状态更新、工件链接和Git提交，适用于开发工作流中的Neovim工具链研究。关键词：Neovim, 配置研究, 插件文档, 代码探索, 自动化任务, 后处理操作, 开发工具, 技能委托。