工具集

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

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

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

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

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

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

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

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

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

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

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

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

Inditex 开源的 Microsoft Teams MCP：在指定频道读取消息、发起话题、回复并 @成员、查看成员列表，方便发布通知和跟进群内事项。需要在 Azure 注册应用并配置 Teams 机器人（通常需 IT 管理员协助），用 Docker 或 Python 3.12 + uv 运行。

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

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

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

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

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

客户之声插件：把工单、访谈、问卷和社区反馈按统一分类体系整理，估算各类问题对收入与流失的影响，产出给管理层或产品团队的洞察简报，并跟进反馈闭环和客户推荐计划。无需编程，反馈数据要自己提供或接入。

续约管理插件，面向客户成功与客户经理：按客户分层做续约预测和乐观、悲观情景推演，为高风险客户制定续约打法和升级流程，续约结束后做复盘。基于提示词工作，合同金额、使用情况等数据需要自己提供。

gtm-agents 合集里的客户成功插件：提供客户健康度监控、采用率提升计划、升级处理手册三个命令及对应子代理，另有风险评分框架、高管业务回顾（EBR）材料、客户反馈闭环等技能。纯提示词无需账号，需自备用量、工单、NPS 等客户数据。

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

Resend 官方邮件 CLI：发送邮件，管理域名、API Key、联系人、群发与 Webhook，非终端环境自动输出 JSON，自带 agent skill。需要 Resend API Key，有永久免费套餐。

让 agent 调用本机 ComfyUI 工作流生成图片、音频和视频，可在已有结果上改参数重新生成、查看任务队列和切换模型，适合用自有模型出海报和插画。需先安装并启动 ComfyUI，再克隆本仓库用 Python 运行服务（默认 9000 端口）。