Herramientas

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.

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.

Adds /learn commands to 30+ agents including Claude Code, Codex and Cursor: knowledge maps, layered Socratic explanations, quizzes and spaced review, with a visual learning dashboard. Geared to self-study of programming and other technical topics; needs Node.js 20+.

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.

Semantic search over past Claude Code, Codex and other agent sessions: indexes each conversation when it ends and recalls past discussions, decisions and trade-offs via MCP tools and a subagent. Embedding and search run locally. By the author of Superpowers.

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.

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.

CLI for the open-source IFClite BIM toolkit: inspect models, query element properties, build door and window schedules, validate against IDS, run clash detection, diff versions, merge and convert, with JSON output; ifc-lite mcp lets agents query and edit BIM data directly. Needs Node.js.

IFClite's built-in MCP server: lets agents query and modify IFC models, run clash detection, IDS validation, version and quantity diffs, export CSV, GLB and more, and color or isolate elements in a browser 3D view. Just Node.js and an IFC file; read-only mode available.

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.

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.

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.