Herramientas

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.

AI agents collaborate via the ADDIE instructional design model: enter a course name to get a syllabus, LaTeX slides, lecture scripts and assessments, convertible to editable PPTX. Open-source code for an EACL 2026 paper; needs an OpenAI API key, LaTeX for PDFs and Node.js for PPTX.

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.

Lean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.

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.

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.

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.

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

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.

One learn-faster command turns Claude Code into a learning coach: builds a syllabus for your level, schedules spaced review, sets exercises and tracks progress, with an exam-prep mode. Needs uv and Claude Code; Codex: run learn-faster init --agent codex (lighter onboarding).

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.

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.

Describe the video you want and the agent builds a reproducible edit project: footage, storyboard, bilingual subtitles, transitions, intro and outro, rendering and QA. Needs Node.js and ffmpeg; AI voice and assets need ListenHub. Science mode uses the author's voice and outro by default.

Socratic teaching skill: when your message includes Socrates or socratic, the agent reads the code, docs or PDF you provide and guides you to the answer through layered questions instead of giving it away. Good for tutoring and self-study; prompt-only, nothing else needed.

Manage Anki cards from the command line: add notes in bulk from Markdown and list or review cards by query, without Anki running. Needs an existing local Anki database and profile; not an official Anki project.

radare2's official MCP server, written in C on the native r2 API: agents open binaries to disassemble, decompile and analyze them, with read-only mode, sandboxing and connections to remote r2 sessions. Install radare2 first, then r2mcp via r2pm.

Leads a visible, verified code walkthrough in Neovim: confirms real behavior by running code, then authors one immutable Navi tour with short notes the viewer steps through, optionally recorded with OBS. Requires Terminal Control (termctrl), Neovim 0.10+ and navi.nvim.

Railway's official plugin, bundling the use-railway skill and hosted Railway MCP so agents can create projects, deploy services, set environment variables and databases, and check logs and metrics to debug deployments. Needs a Railway account.

ComfyUI's official MCP: lets agents drive local ComfyUI image and video workflows, list installed nodes, models and templates, submit jobs and fetch results, and start or stop ComfyUI. Needs a machine that can run ComfyUI (usually a GPU) and comfy-cli; partner models consume Comfy credits.

IELTS prep coach with four skills: a level check with practice advice, essay marking and rewrites on the four criteria, reading mistakes and paraphrase breakdowns, and Speaking Part 2 stories with Part 3 prep. Prompt-only, no API key; no saved history, and scores are AI estimates.