这个技能专注于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、类型理论、形式化验证。

该技能用于借助 AI 生成 App Inventor 2 中文网（fun123.cn）应用：根据自然语言需求产出完整的 .aia 工程、界面布局、代码块逻辑与素材，同一工程可编译安卓 Android 与鸿蒙 HarmonyOS 应用；对组件、属性、事件和每个积木逐项校验通过后才产出，避免导入后出现红块报错。支持三条通道：平台自带 AI 助手修改已有工程、本地 CLI 生成并验证 .aia、纯聊天提示词生成可粘贴的代码块；并提供方案模式（需求拆解、组件选型、数据设计、积木思路、风险边界）、教程模式（分步骤写作 + 可编译案例工程）与备课模式（一个知识点一个案例 + acceptance.md 验收）。关键词：App Inventor、ai2-app、积木编程、图形化编程、低代码开发、.aia 工程生成、代码块、ai2-blocks、AI 助手、安卓 APK、鸿蒙 HAP、组件校验、界面设计、少儿编程、信息技术课、备课案例、教程生成、CLI 构建、预览页。

Java流API是一种用于处理集合的函数式编程工具，支持声明式数据操作，包括过滤、映射、归约等关键词，适用于大数据处理、并行计算和高效Java开发。