工具集

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 可选。

面向博士生与科研人员的研究护栏插件：复现 arXiv 论文、按证据排查训练异常、在同一 epoch 对比实验，还能核对论文与代码是否一致、校验 BibTeX 引文、分析文献空白并预判审稿意见。无需 MCP 与额外依赖，主要适合机器学习方向的研究。

Astronomer 官方数据工程插件：按最佳实践编写 Airflow DAG、排查管道故障、追踪数据血缘、剖析数仓表、把 Airflow 2 迁移到 3，内置 Airflow MCP 服务器与会话钩子。

用户输入 /bro 时，让 agent 用更通俗、口语化的方式重新解释上一条回复：不回答新问题、不调用工具，路径、命令、数字等事实原样保留，并沿用原回复的语言。需手动调用。

百度地图官方 MCP 服务：地理编码与逆地理编码、POI 搜索、驾车/步行/骑行/公交路线规划，以及天气、实时路况与 IP 定位。需在百度地图开放平台申请 AK，官方推荐用 Streamable HTTP 远程接入。

把 agent 生成的 HTML 或全栈项目部署到腾讯云 EdgeOne Makers 并返回公开链接，支持国际站与中国站。腾讯云 EdgeOne 官方维护（原 EdgeOne Pages MCP），需浏览器登录或配置 API Token。

国赛 CUMCM 与美赛 MCM/ICM 备赛两件套：solver 拆题、按 95+ 场景决策矩阵选模型并给出 Python/MATLAB 代码模板；paper 按获奖论文规律指导摘要、模型检验与排版自查。适合备赛学生和指导老师，运行代码需本地 Python 或 MATLAB。

FinLab 官方量化技能：让 agent 调用 FinLab 数据（以台股为主，也覆盖美、日、韩、港股）写选股策略、跑回测、做因子分析。需要 FinLab 账号（免费版每日数据流量有上限）以及 Python 3.10+ 和 uv；回测结果不构成投资建议，需专业人员复核。