该技能用于智能发现和分析技术文档，通过 llms.txt 标准优先搜索、GitHub 仓库 Repomix 分析和并行探索策略，适用于获取最新库/框架文档、llms.txt 格式文档、GitHub 仓库分析、无直接支持文档和多源并行搜索。关键词：技术文档搜索、llms.txt、GitHub、Repomix、并行探索、AI 文档工具、文档发现。

这个技能用于帮助开发者编写函数文档字符串，特别适用于初级开发者，涉及描述函数输入、输出和错误条件，匹配项目风格，以提高代码可读性和维护性。关键词：函数文档、文档字符串、代码注释、软件开发、编程实践。

Slack GIF 创建器是一个工具包，专门用于创建和优化符合Slack平台要求的动画GIF。它提供验证器检查文件大小和尺寸约束，动画原语如抖动、弹跳、旋转等构建块，以及辅助工具如颜色管理和文本渲染。支持消息GIF和表情GIF，优化文件大小和视觉效果，关键词包括Slack GIF、动画制作、文件优化、验证器、动画原语、图像处理。

此技能专注于使用OpenAPI规范创建专业的API文档，涵盖端点定义、认证方法和交互式示例。适用于REST API文档化、SDK参考生成和开发者门户建设，提升API的可用性和集成效率。关键词：API文档、OpenAPI、REST API、SDK、开发者门户。

此技能用于自动化 QuickBooks Online 的会计操作，包括创建发票、管理客户、查询账户和列出支付，以简化财务报告和簿记流程。关键词：QuickBooks 自动化、发票管理、客户管理、财务自动化、会计软件集成、API 调用、自动化工具。

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

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

程序转换器是一种用于程序分析和编译器工程的技能，通过语义保持的转换和优化传递来改进程序性能、简化代码结构并确保程序属性，广泛应用于编译器开发、程序优化工具、重构工具和领域特定语言实现中。关键词：程序转换、语义保持、优化、编译器工程、程序分析、AST操作、代码重构。

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

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

这个技能实现常数传播优化，通过数据流分析在编译器中传播常数值以优化代码。它适用于编译器构建、程序分析学习和优化技术实现，能够收集和替换常数，提高程序效率。关键词：常数传播、编译器优化、数据流分析、程序优化、静态分析、代码优化。

Obsidian命令行工具是一款用于管理Obsidian笔记和知识库的命令行界面，支持创建丰富的视觉笔记，包括LaTeX公式、图像、颜色标注、画布和图表。它适用于个人知识管理、文档编写和笔记组织，提供高级功能如元数据管理、搜索和自动化操作。关键词：Obsidian CLI, 笔记管理, LaTeX, 画布, 知识库, 命令行工具, 个人生产力, 知识管理工具。