ツール

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.

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.

Third-party LSP plugin marketplace with 30+ language server plugins, including TypeScript, Python, Rust, Go, Java, C/C++, Vue, Svelte, Elixir and Haskell, covering more languages than the official set. Requires Claude Code 2.1.50+; install the language servers yourself.

Official MCP and skills from freee, Japan's cloud accounting service: accounting, invoices, HR and payroll, timesheets, fixed assets and tax filings. Remote server with freee OAuth recommended; freee Sign e-contracts are local-only for now. Have an accountant check results.

Appium's official MCP server: lets agents start sessions on Android and iOS emulators and real devices, locate elements, tap, type and take screenshots, and generate Java/TestNG test code. Needs the Android SDK or Xcode.

Official Firebase skills: CLI and project setup, Authentication, Firestore, Hosting and App Hosting, Data Connect, Remote Config, Crashlytics, AI Logic, and writing and auditing security rules. Most use the Firebase CLI and need a Firebase project.

Official Firebase skill: install and sign in to the Firebase CLI, create and switch projects, download app config files such as google-services.json, and set up the other Firebase skills for Auth, Firestore, Hosting and more.

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.

Contract review skill built on the 41 risk categories of the CUAD dataset, covering NDAs, SaaS and M&A deals: rates risk from your side's position, benchmarks terms against market norms for negotiating room, and proposes drop-in redlines. Install by git cloning into your skills folder.

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.

MCP for an open-source tax guide library: when answering income tax, VAT and payroll tax questions, agents cite up-to-date guides covering 200+ jurisdictions, some reviewed by named licensed accountants. Hosted, no install. Reference only; check with an accountant before filing.

Open-source accounting for Swedish sole traders and limited companies: 150+ MCP tools let AI categorize bank transactions, draft entries, reconcile and prepare VAT, payroll and year-end filings, all writes needing your approval. Hosted (OAuth) or self-hosted; accountant review advised.

Product decision skills built on the Advanced JTBD method: market and segment research, value propositions, PRDs, launch copy and growth plans, and customer interview analysis. Install into your project with the repo's one-line script; outputs are hypotheses to test, not conclusions.

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.

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.

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.

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 read and write QuickBooks Online customers, invoices, bills, journal entries and more, and generate balance sheets, P&L and cash flow reports. Official from Intuit; register a developer app for OAuth, then build from source and run locally.

monday.com's official CRM plugin: build a sales pipeline from scratch in plain language, get a daily prioritized deal brief, create forecast dashboards, turn meeting notes into deal updates, and bulk-clean duplicate and bad data. Free plan supported; browser authorization on first use.

MCP module of MintHCM, an open-source self-hosted HR system: lets agents query, count and edit employee, recruiting, onboarding, offboarding, attendance, leave and performance records and run reports, keeping data on your server. Deploy MintHCM first; sign in via browser on first connect.

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.