ツール

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.

Voice skills: TTS with subtitle timing, emotional character voices, translated dubbing, two-host news podcasts, sound effects and songs. Narration and podcasts work with local Kokoro or free voices; emotion, cloning, dubbing, effects and songs need a Noiz API key. Never clone voices to deceive.

Post-draft polishing skills for English LaTeX papers, Chinese theses (GB/T 7714) and Typst manuscripts: compile diagnostics, format and grammar checks, reference verification, reviewer-style assessment, cover letters and defense slides. Needs Python, uv and TeX Live; academic use only.

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.

Paper review skills by economist Claes Bäckman: eight subagents simulate journal referees for a pre-submission report, plus quick checks, paper-code consistency checks, reviews of pre-analysis plans and grant proposals, and rewriting papers as policy briefs. Mainly for LaTeX manuscripts.

Lets agents query Prometheus metrics with PromQL and browse metric metadata and scrape targets to help investigate alerts and performance issues. Supports basic auth, bearer tokens and multi-tenancy; Docker is the recommended way to run it.

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.

Notion's official Claude Code plugin: bundles Notion's hosted MCP with four Cookbook skills (knowledge capture, meeting prep, research write-ups, spec to implementation) and slash commands for searching, creating pages, querying databases and creating tasks. OAuth sign-in.

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.

Lets agents work with Salesforce orgs authorized on your machine: SOQL queries, metadata deploy and retrieve, Apex test runs and permission set assignment, plus toolsets for LWC development. Maintained by Salesforce; authorize your org with the Salesforce CLI first.

Write a script, speakers and visuals in MulmoScript (JSON or YAML) and the mulmo command generates narration and images and assembles a video, podcast, slide deck or PDF, for explainer videos. Needs Node.js, FFmpeg and an OpenAI API key; other providers optional.

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.

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.

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.

Typed as /bro, has the agent re-explain its previous reply in plain, casual language without answering anything new or calling tools, keeping paths, commands and numbers verbatim and replying in the original language.

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).

Spotify's official plugin: agents script and voice content such as morning briefings, meeting recaps or article explainers into audio episodes with cover art and a timeline, saved to Spotify. Needs the save-to-spotify CLI and sign-in; voices can use free local Kokoro.

Connects to self-hosted or managed Nextcloud so agents can manage files, calendars, contacts, notes, Deck boards and mail, and read PDF and Word content (OCR for scans is opt-in); suits teams that value data ownership. Needs a Nextcloud account with an app password, and uv.

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 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.

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.