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

类型类实现技能用于在编程语言中实现ad-hoc多态性和重载，通过定义类声明、实例声明等操作，支持类型安全的多态操作，常见于Haskell、Rust和Scala等语言。关键词：类型类、多态性、编程语言、Haskell、Rust、Scala、重载、类型安全。

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

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

行多态性是一种类型系统技术，用于实现可扩展的记录和变体类型。它支持结构化的多态性和类型推断，适用于编程语言设计、对象系统和类型安全的数据查询。关键词：行多态性、可扩展记录、类型系统、编程语言、对象系统、数据库查询。

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

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

imsg 是一个用于 macOS 系统的命令行工具，允许用户通过终端管理 iMessage 和 SMS 消息，包括列出聊天、获取历史、监视新消息和发送消息。关键词：iMessage, SMS, CLI, macOS, 消息管理, 自动化, 终端工具, 苹果消息, 命令行界面。

操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。

PDF处理技能是指使用Python库（如pypdf、pdfplumber、reportlab）和命令行工具（如pdftotext、qpdf）来执行PDF文档的读取、编辑、创建、合并、拆分、文本提取、表格提取、OCR识别、水印添加和密码保护等操作。适用于自动化文档处理、数据提取和大规模PDF分析。关键词：PDF处理、Python编程、文本提取、表格提取、OCR技术、文档自动化、命令行工具、数据提取。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

这个技能涉及通过条件编译和代码修补技术来绕过模糊测试中的障碍，如校验和验证、全局状态和复杂检查，以提高软件测试覆盖率和发现潜在漏洞。适用于软件开发中的模糊测试场景，帮助开发者和测试人员更有效地进行安全测试和缺陷检测。关键词：模糊测试，障碍克服，代码修补，条件编译，软件测试，覆盖率提升，安全漏洞发现。