"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables Large Language Models to access and manipulate Autodesk Revit models through a pyRevit-based bridge and the Model Context Protocol.

Enables an MCP-compatible AI client to author Blender Python, run Blender, import the resulting asset into Unity with materials and a prefab, place it in the active scene, verify the import, and revise the same asset using stable IDs.

Connects MCP-compatible AI assistants to Azgaar's Fantasy Map Generator so they can view, inspect, edit, and export fantasy maps in a live local browser, including borders, states, terrain, layers, and files. It runs locally and offline after installation, supports collaborative manual editing, undo, autosave, and text-only map output for models that cannot see images.

Enables an agent to turn a paper's draft into editable Figma frames for publication-ready figures, checking every number against the paper and verifying the exported PDF.

Enables AI agents to read, inspect, and edit Figma files through a Model Context Protocol server with 107 tools, visual snapshots, fidelity tools, and optional REST API access.

Transform Figma designs into pixel-perfect React + Tailwind components using the Model Context Protocol.

Enables coding agents to search and retrieve 500+ production-ready React and Tailwind UI sections, page recipes, and brand-styled components over MCP, along with imagery and social post templates.

Converts a Figma file into a React project using Ant Design, AG Grid, ApexCharts, and Tailwind CSS, with optional export of mobile screens as a React Native (Expo) app.

Enables color conversion between HEX/RGB/HSL/HSV/CMYK, palette generation, WCAG contrast checking, color mixing/adjustment, and CSS gradient creation for AI agents.

Gives LLM agents spatial awareness inside Autodesk Maya, enabling scene inspection and measurement, aesthetic and engineering audits, camera planning, checkpoint/rollback safety, asset import, and viewport or render previews. Agents can also execute arbitrary Python in Maya to build and verify 3D scenes against engineering rules instead of writing blind.

Provides AI assistants with frontend development tools including component scaffolding, bundle analysis, accessibility checks, and responsive design guidance. Enables automated generation of React components with tests and stories, bundle optimization recommendations, and WCAG compliance fixes.

Extracts SVG icons from Figma and generates React TSX icon components automatically, enabling AI assistants like GitHub Copilot and Claude to manage icon workflows.

Enables AI-driven 3D modeling and scene creation in Blender, allowing LLMs to create, modify, and manipulate objects, materials, and assets through natural language.

Enables MCP clients to inspect FreeCAD documents and export named solids to STL, find and derive OrcaSlicer presets, preview and run slices with recorded manifests, and then read G-code metadata, query a Moonraker printer, upload G-code, and start an uploaded print as a separate confirmed step.

Enables rigging, animation, and VFX workflows for Roblox through an MCP-compatible chat client, connecting Blender and Roblox Studio for tasks like skeleton fitting, keyframe editing, particle effects, and FBX export.

Enables AI assistants to inspect and organize Adobe Premiere Pro projects, edit timelines with frame-accurate cuts and trims, animate motion and opacity keyframes, and trigger exports through natural language.

Enables controlling CLO3D from any MCP client to inspect projects, create and edit patterns, manage fabrics and colorways, run simulations, and export models through chat.

Enables Cursor AI to read and modify Figma designs programmatically via the Model Context Protocol.

A comprehensive MCP server for Vue component development and Figma design restoration, featuring snapDOM-powered screenshots, pixel-perfect visual comparison, and automated SVG optimization.

An MCP server that integrates AI agents with Figma, enabling reading and programmatic modification of designs.