此技能用于起草简洁、礼貌的邀约邮件，适用于协作邀请场景。它帮助用户高效撰写邮件，强调专业语气、结构约束和行动号召，提升沟通效果。关键词：邀约邮件、协作邀请、简洁邮件、专业通信、邮件草稿。

这个技能提供正式报告格式化指南，确保报告以 Word 风格散文书写，避免使用 Markdown、表格和装饰元素，强调事实准确性和避免虚构。适用于政府报告、官方文档等正式场合。关键词：正式报告、格式化、Word 风格、事实准确、无 Markdown、报告写作。

求职时间规划技能是一种实用技能，用于在严格的每周时间预算内高效规划求职活动，如简历优化、投递、内推和模拟面试。它专注于优先处理高影响力任务，避免过载和倦怠，通过合理时间分配和批量处理提升效率。关键词：求职、时间管理、预算规划、效率提升、倦怠预防、简历优化、面试准备。

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

该技能通过Rube MCP和Composio工具包自动化Quaderno税务和发票管理任务，包括搜索可用工具、管理连接状态和执行自动化工作流程，提高税务处理效率并确保合规性。关键词：Quaderno自动化、Rube MCP、Composio、税务管理、发票自动化、工具包集成、工作流程自动化。

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

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

这是一个功能强大的YouTube视频下载工具，支持自定义视频质量（如1080p、720p等）和输出格式（如MP4、WebM、MKV），并可提取音频为MP3。适用于用户下载和保存YouTube视频，关键词包括YouTube下载、视频处理、自定义质量、格式转换、音频提取、视频保存、yt-dlp工具。

此技能用于列出所有已安装的Agent技能，遵循Agent Skills规范。它帮助用户检查可用技能、为特定任务查找技能或验证技能安装状态，便于技能管理和任务分配。关键词：技能管理、Agent技能、列出技能、技能安装、技能查找、SEO优化。

这个技能用于在网页输入框中自动输入文本，适用于表单填写、搜索查询等浏览器自动化任务。支持中文输入，是网页操作的基础工具。关键词：浏览器自动化、网页输入、表单填写、搜索查询、中文输入。

Kaizen技能是一种用于软件开发中实现连续改进、错误预防和标准化的方法论。它强调小步迭代、设计时防错、遵循最佳实践和按需构建，以提高代码质量、优化架构和改善工作流程。关键词：持续改进、防错、标准化、JIT、代码质量、过程优化。

该技能专注于PowerPoint演示文稿的创建、编辑和分析，涵盖文本提取、XML访问、模板使用、HTML到PPTX转换等功能，适用于办公自动化、文档处理和演示制作，提升工作效率。关键词：演示文稿、PowerPoint、创建、编辑、分析、办公自动化、文档处理。