其他 Skill技能列表
机构知识研究员Skill learnings-researcher
此技能专用于高效搜索团队知识库中的文档化解决方案，帮助开发者在实施新功能或修复问题前找到相关学习，避免重复错误并利用已验证模式。关键词：机构学习、文档搜索、解决方案、模式识别、错误预防、软件开发效率。
每刻风格编辑器Skill every-style-editor
这是一个系统化的文本编辑和校对技能，专门用于确保写作内容符合每刻（Every）的风格指南，提供语法检查、标点修正、机制验证和风格合规性评估，适用于文章、博客、新闻稿等各类书面材料的审查和改进，提升写作质量和一致性。
销售电话准备Skill call-prep
这个技能用于快速准备销售电话，通过整合账户信息、参会者研究和网络搜索，生成详细的准备简报，包括议程、问题和潜在异议处理。支持与CRM、电子邮件等销售工具集成，提升准备效率和质量。关键词：销售电话准备、CRM集成、议程生成、参会者分析、网络研究、销售工具。
摘要构建技能Skill digest
这个技能用于构建高质量的新闻或主题摘要，专注于技术领域和研究论文，通过使用精选的可信来源确保信息准确性和价值。它适用于生成每日或每周汇总、最新动态报告、内容聚合等场景。关键词：摘要构建、技术新闻、研究论文、高质量来源、内容聚合、信息摘要。
YouTube视频下载器Skill video-downloader
这是一个功能强大的YouTube视频下载工具，支持自定义视频质量（如1080p、720p等）和输出格式（如MP4、WebM、MKV），并可提取音频为MP3。适用于用户下载和保存YouTube视频，关键词包括YouTube下载、视频处理、自定义质量、格式转换、音频提取、视频保存、yt-dlp工具。
抽奖获胜者选择器Skill raffle-winner-picker
抽奖获胜者选择器是一个实用工具，用于从列表、电子表格或Google Sheets中随机公平地选择获胜者，适用于赠品、抽奖、竞赛等场景，确保透明和无偏的选择过程。关键词：随机抽取，抽奖工具，公平选择，SEO优化，数据管理。
域名创意生成器Skill domain-name-brainstormer
域名创意生成器是一款智能工具，专门为项目提供创意域名建议，并实时检查跨.com、.io、.dev等多种顶级域名的可用性。适用于创业启动、品牌建设、产品命名等场景，节省用户大量头脑风暴和手动搜索时间，提升域名选择效率。关键词包括域名生成、TLD检查、品牌创意、项目命名、域名可用性。
Ynab自动化技能Skill ynab-automation
这个技能用于通过Rube MCP和Composio工具包自动化Ynab（You Need a Budget）任务，实现预算管理的自动化操作，包括工具发现、连接管理和工作流执行。关键词：Ynab自动化、Rube MCP、Composio、预算管理、工具集成、自动化工作流。
Quaderno自动化技能Skill quaderno-automation
该技能通过Rube MCP和Composio工具包自动化Quaderno税务和发票管理任务，包括搜索可用工具、管理连接状态和执行自动化工作流程，提高税务处理效率并确保合规性。关键词：Quaderno自动化、Rube MCP、Composio、税务管理、发票自动化、工具包集成、工作流程自动化。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
依赖类型实现器Skill dependent-type-implementer
依赖类型实现器是一个高级技能，用于实现依赖类型理论的核心组件，如Π类型和Σ类型。它支持类型检查、转换和证明细化，适用于构建证明辅助工具、形式化数学和验证编程。关键词包括依赖类型、类型系统、证明辅助工具、Coq、Agda、Idris、类型理论、形式化验证。