这是一个自动化版本管理的技能，通过读取Git历史记录、生成变更日志、自动升级版本号（如补丁、次要、主要）和准备发布，简化软件发布流程，无需手动操作。关键词：发布管理器、版本管理、自动化发布、变更日志、Git、DevOps工具、CI/CD集成。

这个技能专注于网页无障碍性和WCAG 2.2合规性，确保界面对所有用户可访问，包括键盘导航、屏幕阅读器优化、颜色对比要求等。它适用于前端开发、用户体验优化和网站审计，关键词：无障碍、WCAG、前端开发、用户体验、屏幕阅读器、键盘导航。

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

此技能用于自动从Beamer源文件中提取TikZ图表，编译为PDF并转换为SVG格式，适用于Quarto幻灯片制作，涉及自动化脚本、文档处理和格式转换。关键词：TikZ, Beamer, SVG, Quarto, 自动化, LaTeX编译, PDF转换, 图表提取。