ツール

MCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.

Google's official security MCP servers for Google SecOps (Chronicle), SecOps SOAR, Google Threat Intelligence and Security Command Center: investigate alerts, hunt threats, look up IOCs and review cloud risks. Needs Google Cloud credentials or a VirusTotal API key.

Explore and analyze local KiCad projects in natural language: inspect schematic connections, export BOMs, run DRC checks, render PCB previews and recognize common circuit patterns. Needs KiCad 9+, Python 3.10 and uv; clone and install, set your project directory in .env, then register it.

Official ElevenLabs skills: text to speech, speech to text, sound effects and music generation, voice changing, vocal isolation, multilingual dubbing and building voice agents. Needs an ElevenLabs API key.

68 trading and quant skills focused on crypto and DeFi: market and on-chain data, technical indicators, backtesting, position sizing and risk, prediction markets, and tax tools for cost basis and wash sales. Most need Python and data API keys (often free tiers); get expert review.

Official Tavily skills: let agents search the web, extract page content, discover site URLs, crawl in bulk and run cited deep research through the Tavily CLI (tvly). Install the CLI first; search and extract have a limited no-login tier, other features need sign-in or an API key.

Microsoft Teams MCP open-sourced by Inditex: read messages in a set channel, start threads, reply and @mention members, and list members. Requires an Azure app registration and a Teams bot (usually with IT admin help); runs via Docker or Python 3.12 with uv.

Astronomer's official data engineering plugin: write Airflow DAGs to best practices, debug pipeline failures, trace data lineage, profile warehouse tables and migrate from Airflow 2 to 3, with a built-in Airflow MCP server and session hooks.

Research guardrails for PhD students: reproduce arXiv papers, debug training anomalies with evidence, compare runs at matched epochs, check paper-code consistency, verify BibTeX, find literature gaps and predict reviewer comments. No MCP or extra dependencies; mostly for ML research.

Lets AI do feature-based modeling in SolidWorks: sketches, extrudes, sheet metal, assemblies and drawings, exporting STEP, DXF or PDF, and can rebuild 3D parts from DXF/DWG drawings. Needs Windows, SolidWorks 2026, a Visual Studio build of the C# layer and a Python adapter; early prototype.

Customer success plugin from gtm-agents: three commands with subagents for account health monitoring, adoption plans and escalation playbooks, plus skills for risk scoring, executive business reviews (EBRs) and feedback loops. Prompt-only; bring your own usage, ticket and NPS data.

Renewal management plugin for customer success and account managers: segment-based renewal forecasts with upside and downside scenarios, save plays and escalation paths for at-risk accounts, and post-renewal retrospectives. Prompt-based; you supply contract values, usage and other data.

Voice of customer plugin: organizes tickets, interviews, surveys and community feedback into one taxonomy, estimates revenue and churn impact by theme, produces insight briefs for leadership or product, and tracks feedback loops and advocacy programs. No code; supply your own feedback data.

Official FinLab quant skill: lets agents use FinLab data (mainly Taiwan stocks, plus US, Japan, Korea and Hong Kong) to write stock-picking strategies, run backtests and analyze factors. Needs a FinLab account (free tier has a daily data cap), Python 3.10+ and uv. Not investment advice.

Lets agents run local ComfyUI workflows to generate images, audio and video, regenerate from earlier results with new parameters, check the queue and switch models. Install and start ComfyUI, then clone this repo and run the server with Python (port 9000 by default).

McNeel's official Rhino MCP: lets Claude, Codex and other agents model, edit and organize layers in Rhino and Grasshopper, for architectural concepts and product forms. Needs licensed Rhino 8 or 9; install Rhino-MCP-Platform from the package manager and connect with MCPConnect.

Official Databricks skills guiding agents to build Lakeflow pipelines and jobs, Apps, Lakebase, Vector Search, Model Serving and AI/BI dashboards on the lakehouse. Needs the Databricks CLI.

Official Databricks plugin with skills for the CLI and auth, Genie data queries, Apps, Lakebase, Lakeflow jobs and pipelines, Model Serving and DABs deployment, plus hooks for prompt routing, session context and auth failure hints. Needs a Databricks account.

Lets agents read, search, organize and send email over IMAP/SMTP with any provider that supports them, across multiple accounts, with a local web UI for setup. Needs your email password or app password.

Apache Doris's official MCP: gives agents read-only access to explore table metadata, run and explain SQL, diagnose slow queries, and check cluster status, load jobs and data governance info. Needs Python 3.12+ and Doris 2.0 or later.

radare2's official MCP server, written in C on the native r2 API: agents open binaries to disassemble, decompile and analyze them, with read-only mode, sandboxing and connections to remote r2 sessions. Install radare2 first, then r2mcp via r2pm.

QuantConnect's official CLI drives the open-source LEAN engine locally or in the cloud to download data, backtest and optimize quant strategies and deploy them live. Requires a paid-tier QuantConnect organization; strategies in Python or C#; local runs need Docker. Get expert review.

ComfyUI's official MCP: lets agents drive local ComfyUI image and video workflows, list installed nodes, models and templates, submit jobs and fetch results, and start or stop ComfyUI. Needs a machine that can run ComfyUI (usually a GPU) and comfy-cli; partner models consume Comfy credits.

Hugging Face's official MCP server: lets agents search models, datasets and Spaces on the Hub and call thousands of Gradio AI apps directly. Hosted remotely; sign in with your Hugging Face account or authorize with a token.