工具集

Resend 官方 MCP，让 agent 收发邮件，管理联系人、群发（Broadcasts）与发信域名。提供免安装的远程服务（OAuth 登录），也可用 npm 包本地运行，本地运行需要 Resend API Key。

给一个 YouTube 视频、网页文章或 PDF 链接，自动抽取字幕或正文，生成「做—学—下一步」五轮行动式学习计划并存成 Markdown，适合自学。需本机能装 yt-dlp、pdftotext 等命令行工具，视频默认抓英文字幕。

把手头的视频字幕、文章、课程笔记等学习材料提炼成「做—学—下一步」迭代计划：先定 4–8 周目标，拆成 5 轮可交付的练习，第一轮本周完成，每轮附复盘问题，存成 Markdown。纯提示词技能，不需要额外账号或软件。

ClickHouse 官方技能合集：按影响分级的建表、主键、JOIN 与写入最佳实践，实时架构决策建议，chdb 进程内 SQL 与 pandas 兼容分析，以及本地与云端部署流程。

让 agent 操作 Anki 记忆卡片：复习到期卡片并评分、批量制卡，管理标签、媒体与笔记模板，查看学习统计。需要安装 Anki 桌面版和 AnkiConnect 插件，项目仍处于 Beta 阶段。

ElevenLabs 官方技能集：文本转语音、语音转文字、音效与音乐生成、变声、人声分离、多语种配音以及语音 agent 搭建。需要 ElevenLabs API Key。

用 yt-dlp 抓取 YouTube 视频字幕交给 agent，直接说「总结这个视频」就能得到要点，适合老师备课时整理教学视频、研究者和创作者快速了解视频内容。无需 API Key，但本机要先装 yt-dlp（Homebrew 或 WinGet 均可）和 Node.js，并能正常访问 YouTube。

HeyGen 官方技能：把已有视频译成 175 种以上语言并配音，克隆原说话人的声音并重新对口型，可先校对字幕再出片，适合课程、宣传片做多语言版本。需要 HeyGen 账号和使用额度，配置 API Key 与 HeyGen CLI，或连接 HeyGen MCP。

Lean 4 定理证明器的 MCP 服务器：让 agent 读取证明目标、报错诊断和定义说明，并调用 LeanSearch、Loogle 等检索定理，帮数学研究者和学生做形式化证明。需要安装 uv 与 Lean 工具链，并在 Lean 项目根目录下运行。

论文写后打磨技能合集：英文 LaTeX 论文、中文学位论文（GB/T 7714）与 Typst 稿件的编译诊断、格式与语法检查、文献核验、审稿式评估，以及投稿信与答辩幻灯片。需 Python、uv 与 TeX Live；仅限学术用途。

Google 官方安全 MCP 集合：接入 Google SecOps（Chronicle）、SecOps SOAR、Google 威胁情报（GTI）与 Security Command Center，用于告警调查、威胁狩猎、IOC 查询与云风险排查。需要 Google Cloud 凭据或 VirusTotal API Key。

让 agent 用 PromQL 查询 Prometheus 指标，浏览指标元数据与抓取目标，辅助排查告警和性能问题。支持基础认证、Bearer Token 与多租户，推荐用 Docker 运行。

把 Stata 接入 VS Code / Cursor 并开放本地 MCP 接口，让 Claude Code、Codex 帮你编写并运行 do 文件、读取回归等运行输出，图表在编辑器里显示，适合经济学与社会科学实证研究。需要已购授权的 Stata 17 及以上版本，先装扩展，使用时保持编辑器打开。

第三方 LSP 插件市场，收录 TypeScript、Python、Rust、Go、Java、C/C++、Vue、Svelte、Elixir、Haskell 等 30 多个语言服务器插件，覆盖语言比官方插件更多，按需挑选安装。需 Claude Code 2.1.50+，对应的语言服务器需自行安装。

68 个交易与量化技能，以加密货币和 DeFi 为主：行情与链上数据、技术指标、回测、仓位与风控、预测市场，以及成本计算、洗售识别等税务记账。多数需本机 Python 和数据平台的 API Key（多有免费档）；结果需专业人员复核。

为 Claude Code、Codex、Cursor 等 30 多种 agent 生成 /learn 系列学习命令：生成知识地图、层层追问式讲解、测验与间隔复习，附带可视化学习面板。偏重编程等技术主题的自学，需要 Node.js 20+。

Firebase 官方技能：安装并登录 Firebase CLI、创建与切换项目、下载 google-services.json 等应用配置文件，并引导装齐 Auth、Firestore、Hosting 等其余 Firebase 技能。

Firebase 官方技能合集：CLI 与项目配置、认证、Firestore、Hosting 与 App Hosting、Data Connect、Remote Config、Crashlytics、AI Logic，以及安全规则的编写与审计。多数技能配合 Firebase CLI 使用，需要 Firebase 项目。

对 Claude Code、Codex 等工具的历史会话做语义检索：会话结束自动建索引，通过 MCP 工具与子代理找回过去的讨论、决策与取舍。向量化与检索都在本地完成，Superpowers 作者出品。

Tavily 官方技能合集：让 agent 通过 Tavily CLI（tvly）联网搜索、抽取网页正文、发现站点 URL、批量爬取，并做带引用的深度调研。需先安装 CLI；搜索与抽取可免登录限额使用，其余功能需登录或 API Key。

按 ADDIE 教学设计模型让多个 AI 智能体协作，输入课程名即可生成教学大纲、LaTeX 幻灯片、讲稿与测评题，还能转成可编辑 PPTX，帮高校教师减轻备课负担。EACL 2026 论文开源实现，需要 OpenAI API Key；编译 PDF 需装 LaTeX，转 PPTX 需 Node.js。

让 agent 操作本机已授权的 Salesforce 组织：SOQL 查询、部署与拉取元数据、运行 Apex 测试、分配权限集，另有 LWC 开发等工具集。Salesforce 官方维护，需先用 Salesforce CLI 授权组织。

Lean 4 定理证明插件：提供起草、形式化、证明、反证、审查和精简证明等工作流，附带 mathlib 检索、公理检查与安全护栏，帮数学研究者和教师把证明写成可机器验证的形式。需本地安装 Lean 4 与 mathlib，推荐搭配 lean-lsp-mcp。

用 JSON/YAML 格式的 MulmoScript 写好讲稿、说话人与画面，mulmo 命令即可生成配音和插图，合成为视频、播客、幻灯片或 PDF，可把讲义、报告做成讲解视频。需要 Node.js、FFmpeg 和 OpenAI API Key，其他厂商的 Key 可选。