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

这个技能专注于Makepad跨平台开发，提供平台支持、条件编译和平台API使用指导，帮助开发者在macOS、Windows、Linux、iOS、Android、Web等多个操作系统上构建兼容且高性能的应用。关键词：Makepad、跨平台开发、平台支持、条件编译、OsType、图形后端、前端UI。

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

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

实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。

这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括：逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。

逃逸分析是一种编译优化技术，用于确定对象是否逃逸其创建方法范围，从而启用栈分配、锁消除和标量替换等优化。关键词：逃逸分析、栈分配、锁消除、标量替换、编译优化、内存管理。

Protocols.io集成技能是一个API集成工具，允许开发者通过代码与protocols.io平台交互，实现科学协议的管理、协作和自动化。此技能支持协议搜索、创建、更新、发布、讨论管理、工作空间组织和文件上传，适用于科研、实验室管理和科学文档场景。关键词：protocols.io API, 科学协议管理, 实验室管理, 协作工具, 文件管理, 实验跟踪, 协议搜索, 数据集成, 后端开发, API集成。

本技能系统讲解 AUTOSAR Adaptive Platform 网络管理（NM）模块的核心职责、架构位置、与 SOME/IP 和 OS 的关系、关键功能、配置方法以及与 Classic Platform NM 的差异。适用于汽车嵌入式软件开发和车联网通信场景，帮助工程师理解和实现 ECU 网络管理。关键词：AUTOSAR AP NM、网络管理、SOME/IP、ECU、嵌入式软件、车联网、休眠管理、节点监控、ARXML 配置、Classic Platform NM。

本技能教授如何使用Playwright测试框架的夹具系统和生命周期钩子来管理测试状态、创建可重用基础设施、实现高效测试设置和拆卸。适用于前端开发测试自动化，关键词包括：Playwright、夹具、钩子、测试自动化、前端测试、测试框架。

掌握MongoDB数据库在Node.js、Python和Java应用程序中的集成开发技术，包括连接管理、事务处理、错误处理和最佳实践。关键词：MongoDB, 应用开发, 数据库集成, Node.js, Python, Java, 后端开发。

这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。