工具集

通过 Firecrawl 命令行完成网页搜索、抓取、站点 URL 发现、批量爬取、页面交互与变更监控，输出适合大模型的 Markdown。Firecrawl 官方技能；搜索与抓取有限速的免费用法，爬取、监控等需要账号或自建实例。

Firecrawl 官方命令行：在终端完成网页抓取、搜索、站点地图、整站爬取与浏览器交互，结果输出为 Markdown，并可为编码 agent 安装配套技能。需要 Firecrawl 账号或 API Key，也可指向自托管实例。

让 AI 在 AutoCAD LT 里画线、建图层、插入图块、标注尺寸并导出 DXF/PDF，适合批量修改图纸。需 Windows 版 AutoCAD LT 2024 及以上、Python 与 uv，克隆安装后在 AutoCAD 里用 APPLOAD 加载自带的 LISP 脚本；不装 AutoCAD 也能无界面生成 DXF。

Redis 官方 MCP 服务器，用自然语言读写字符串、哈希、列表、Stream、JSON 等数据结构，支持向量索引与检索、发布订阅。需自备 Redis 实例，通过 uvx 运行。

Chroma 官方 MCP：让 agent 创建和管理集合、写入文档，并用向量检索、全文检索与元数据过滤取回内容。可连接内存或本地持久化库、自建实例和 Chroma Cloud。

百度千帆 AppBuilder 里的 AI 搜索 MCP Server，实时检索网页与新闻，支持 Streamable HTTP、SSE 与 stdio。用千帆 API Key，控制台有每日免费额度。

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

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

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

用自然语言浏览和分析本机的 KiCad 项目：查看原理图元件连接、导出 BOM 物料清单、运行 DRC 设计规则检查、生成 PCB 预览图并识别常见电路结构。需装 KiCad 9 及以上、Python 3.10 与 uv，克隆仓库安装、在 .env 里填好项目所在目录后注册。

让 AI 在 SolidWorks 里按特征建模：画草图、拉伸、钣金、装配、出工程图并导出 STEP/DXF/PDF，还能从 DXF/DWG 二维图纸反推三维零件。需要 Windows 与 SolidWorks 2026，并用 Visual Studio 自行编译 C# 执行层、运行 Python 适配器，门槛较高；目前为早期原型。

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

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

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

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

McNeel 官方的 Rhino MCP：让 Claude、Codex 等在 Rhino 与 Grasshopper 里建模、改模型、整理图层，适合建筑方案与产品造型。需已授权的 Rhino 8/9，在包管理器装 Rhino-MCP-Platform 并运行 MCPConnect 接入。

Databricks 官方技能库，指导 agent 在湖仓上开发 Lakeflow 数据管道与作业、Apps、Lakebase、向量搜索、模型服务和 AI/BI 看板。需要安装 Databricks CLI。

Databricks 官方插件：涵盖 CLI 与鉴权、Genie 取数、Apps、Lakebase、Lakeflow 作业与管道、Model Serving、DABs 部署等技能，附带提示路由、会话上下文与鉴权失败提示钩子。需要 Databricks 账号。

ComfyUI 官方 MCP：让 agent 驱动本机的 ComfyUI 跑图像和视频工作流，查询已装的节点、模型与模板，提交任务并取回生成结果，也能启停 ComfyUI。需要本机能运行 ComfyUI（通常要显卡）并安装 comfy-cli；调用合作方模型会消耗 Comfy 点数。

火山引擎官方，让 agent 管理并检索 Viking 知识库：按 URL 导入文档、查看处理状态、在集合中搜索相关知识片段，可用来搭建 RAG。需要 Viking API Key 或火山引擎 AK/SK。

QuantConnect 官方命令行，驱动开源 LEAN 引擎在本地或云端下载行情、回测优化量化策略并部署实盘，适合投研人员让 agent 验证策略。须是 QuantConnect 付费档组织成员，策略用 Python 或 C# 编写，本地运行需 Docker；结果需专业人员复核。

Hugging Face 官方 MCP 服务：让 agent 检索 Hub 上的模型、数据集与 Spaces，并直接调用数千个 Gradio AI 应用。远程托管，用 Hugging Face 账号登录或 Token 授权即可使用。

阿里云官方 Agent Skills 合集，按产品线覆盖 ECS 故障诊断与容灾、RDS/PolarDB 等数据库巡检、PAI 训练与 EAS 部署、ACK 集群、RAM 权限、OSS 与网络排障以及百炼等能力。云产品相关技能需要 AccessKey 或 aliyun CLI 凭证。

在开源 FreeCAD 里用对话建模：创建基本体和草图、拉伸倒角、布尔运算、导出 STEP/STL，还能编写调试宏。需先在 FreeCAD 插件管理器安装 Robust MCP Bridge 工作台并启动，本机再用 pip 安装服务端（需 Python 3.11）。