工具集

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 及以上版本，先装扩展，使用时保持编辑器打开。

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

日本会计云服务 freee 官方的 MCP 与 Agent Skills，让 AI 处理会计、发票、人事薪资、工时、固定资产与税务申报等业务数据。推荐连官方远程服务，需 freee 账户 OAuth 授权；电子合同（freee サイン）目前只支持本地版。账务与申报结果需会计复核。

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。

智谱官方技能：用 GLM-V 多模态模型批量阅读简历，按你写的筛选条件（如“3 年以上经验”）逐份判断是否通过并说明理由，输出对比表。支持中文；需要智谱开放平台 API Key 和本地 Python，简历可给链接（PDF/Word/TXT）或本地 PDF（需装 PyMuPDF）。

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

求职插件：导入简历与偏好后，自动搜索匹配岗位、按职位改写简历、撰写求职信，并可在 Greenhouse、Lever、Workday 上代填申请表。需要 Claude in Chrome 扩展。

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

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

开源、可自托管的人力资源系统 MintHCM 自带的 MCP 模块：HR 可以让 agent 查询、统计和增删改员工档案、招聘、入离职、考勤请假、绩效等各模块记录，还能运行报表，数据留在自己的服务器上。需要先自行部署 MintHCM，首次连接时在浏览器登录授权。

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

在 QGIS 插件库安装 QGIS MCP 插件后，agent 可调用 125 个工具管理图层、编辑要素、运行处理算法、设置样式、制作版面与图集，并跨图层执行 SQL，兼容 QGIS 3.28 到 4.x。需本机装 QGIS 和 uv，不用下载仓库。

按岗位与职级生成结构化面试评分卡：加权评分标准、按能力分组的行为面试题、面试官独立打分表、红旗与绿旗、背调问题和评议流程，输出一份可直接发给面试小组的 Markdown 文件。英文内容。

帮小企业写能吸引合适人选的招聘帖：访谈出岗位的真实日常，把要求精简到 4–6 条真正必要的，如实写卖点，推动公开薪资范围，并输出适配招聘网站和社交转发的版本。英文内容，会联网查当地薪资透明规定。

为没有专职 HR 的小公司起草员工手册：先访谈老板了解实际做法，再用大白话写出考勤、休假、薪酬、行为规范与反骚扰等制度，并标出需按当地法律核实的条款。以美国各州法规为参照，成稿须由劳动法律师复核。

两百多个单文件技能，以销售、营销、咨询和运营为主：成交策略、销售预测、开发信、咨询方案与工作说明书、合同条款审阅、简历筛选、报销核对、招标应答等，也有个人理财与求职类技能。合同、财税相关结果需专业人员复核。

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

把简历文件夹（PDF、Word 或文本）和职位描述交给它，逐份按要求打分并引用简历原文作证据，输出分档短名单、推进或婉拒邮件草稿和面试问题。只起草不发送，不考虑年龄性别等受保护特征；适用于 Claude Cowork 与 Claude Code。

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