工具集

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。

让 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 官方技能合集：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 技能。

Notion 官方 Claude Code 插件：打包 Notion 托管 MCP 与四个 Cookbook 技能（知识沉淀、会议准备、调研成文、需求转实现），提供搜索、建页、查库、建任务等斜杠命令，OAuth 登录。

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

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

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

面向 A 股量化交易的插件市场：集成 AKShare、BaoStock、Tushare 等数据接口、Backtrader 和 RQAlpha 回测，以及 QMT、聚宽策略文档。部分数据源需要 Token 或客户端，支持 Claude Code 与 Codex。

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

基于 Advanced JTBD 方法论的产品决策技能组：市场与细分调研、价值主张、PRD、上市文案与增长计划、客户访谈记录分析，支持 Claude Code 与 Codex。需用仓库提供的一键脚本装进项目目录；产出是待验证的假设，不是结论。

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

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

读写 Airtable 在线表格数据库：查看表结构，搜索、新增、修改记录并添加评论，适合管理报名名单、项目进度、客户与选题库。需要 Airtable 账号并创建个人访问令牌（Personal Access Token），本机需 Node.js。

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

让 agent 管理 Trello 看板、列表、卡片、清单、评论与附件，可在多个看板和工作区之间切换，并自动处理接口限流，适合行政事务、活动筹备和项目进度跟进。需要 Trello API Key 与 Token，并安装 Node.js。

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

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

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