ツール

Searches Airbnb listings and fetches details: filter by location, dates, guests, price and property type, and get amenities, house rules, location and direct links. No API key; runs locally via npx and respects robots.txt by default.

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.

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.

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.

Connects Stata to VS Code or Cursor and exposes a local MCP endpoint so Claude Code or Codex can write and run do-files and read regression output, with graphs shown in the editor; for empirical research. Needs a licensed Stata 17+, the extension installed and the editor open.

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.

Open-source European e-invoicing tool whose CLI validates, extracts and creates ZUGFeRD, Factur-X and XRechnung invoices (PDF or XML) and renders XML invoices as readable HTML or PDF, for EU invoicing compliance. Needs Java; download the Mustang-CLI jar from the project site.

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.

Google Maps for agents: place search and details, forward and reverse geocoding, routes, distance matrices, multi-stop optimization, weather and static maps, plus trip planning and local SEO ranking skills. Needs Node.js and a billing-enabled Google Maps Platform API key; calls may cost money.

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.

Read and write Airtable bases: view table schemas, search, create and update records and add comments, handy for sign-up lists, project tracking, clients and content pipelines. Needs an Airtable account with a personal access token, and Node.js.

Zapier's official hosted MCP: sign in with your Zapier account via OAuth and let agents run actions in 9,000+ apps to send messages, look up data, create tasks and trigger workflows. Each successful call uses 2 Zapier tasks.

Zapier's official plugin: connects 9,000+ apps through the hosted Zapier MCP so you can send email, book meetings, update sheets, create tickets and trigger workflows in plain language. Includes onboarding and health-check skills. Needs a Zapier account.

Manages Outlook mail, calendar, folders and inbox rules through Microsoft Graph, uploads, searches and shares OneDrive files, and can trigger Power Automate flows. Register an Azure app for a client ID and secret, clone and run it with Node.js, and sign in via the auth server on first use.

Lets agents manage Trello boards, lists, cards, checklists, comments and attachments, switch between boards and workspaces, and handle API rate limits automatically; useful for admin work, event planning and project tracking. Needs a Trello API key and token, plus Node.js.

Job search plugin: import your resume and preferences, then it finds matching roles, tailors your resume to each, writes cover letters and can fill applications on Greenhouse, Lever and Workday. Needs the Claude in Chrome extension.

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.

monday.com's official MCP: lets agents read and write boards, items, groups and columns, create forms, and call the full API through a dynamic GraphQL tool. The hosted server with OAuth is recommended; running locally needs an API token.

Two skills for the MCM/ICM and China's CUMCM math modeling contests: solver breaks down problems, picks models from a 95+ scenario decision matrix and gives Python or MATLAB templates; paper coaches abstracts, model validation and formatting from winning papers. Needs Python or MATLAB.

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.