Tools

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.

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.

Lets agents create, move and scale components in SketchUp, set material colors, read scene info, export models and run Ruby scripts, for quick massing models. No prebuilt package: pack the extension as .rbz, install it in SketchUp and start the server; needs uv.

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.

Generates favicons, PWA app icons and Open Graph share images for social platforms from a logo, text or emoji, in every required size with text contrast checks, and can add the matching tags to your web project. Needs Python and Pillow.

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.

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.

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.

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.

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.

Develops an original visual language for a brand, campaign, publication, site or product. Without looking at contemporary design, it builds ten typography-only HTML directions; once you lock one, it turns it into a production system. Not for routine UI fixes or existing design systems.

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.

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.

Design token CLI (formerly Cobalt UI): reads W3C DTCG tokens for color, type, spacing and more, validates them and generates CSS, Sass, JS/TS, Swift, Tailwind and other code via plugins. Runs in CI so design specs flow into code automatically. Needs a Node.js project.

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.

Writes in-depth stock reports and earnings reviews: nine chapters on business, competition, governance, earnings quality and valuation, with DCF and EPV recomputed by script and key figures sourced. PDF output; US, Hong Kong and A-shares. Needs web access and Python; get expert review.

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.

Design engineering skill that steers agents away from generic AI-looking UI when building dashboards and landing pages, reviews interfaces for usability and adds motion and polish. npx installs the skill only; slash commands, MCP quality gates and review agents need the CLI or plugin.

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.

Creates a blueprint-style animation that explains UX decisions step by step for case studies and posts: rebuilds changed parts between Before and After screens, or annotates each module of one screen. Reproduces Figma frames 1:1; CC BY-NC 4.0, non-commercial only.

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.