"author:sandraschi" matching MCP servers:

MCP gateway to World Labs Marble + Spark 2.0 for generating navigable 3D worlds from text, images, panoramas, multi-view sets, or video, and grounding a voice agent in scene coordinates.

MCP server for controlling the Noetix Bumi humanoid robot via ROS 2, with support for autonomous mission planning using LLMs and computer vision.

Enables AI coding agents to control a local InvokeAI creative engine, supporting text-to-image, image-to-image, masked inpaint, upscaling, and full queue, model, gallery, board, and workflow management.

Bridges Gitee, China's largest code hosting platform, to MCP for exploring trending repos, searching users/repos, and translating Chinese content with a local LLM.

Wraps ComfyUI to generate images, video, and upscales from text prompts via MCP tools, providing a curated workflow interface without the node editor.

Integrates AI-powered music generation with professional production tools, enabling autonomous music creation workflows from MIDI input to live streaming.

Provides a runtime for autonomous virtual robot brains, sitting between game engines and LLM inference to offer perception ingestion, LLM-driven reasoning, episodic memory, personality engine, motor output, and multi-bot registry.

A high-performance control plane for Ollama-based local LLM sessions with background memory consolidation, hybrid cloud planning, and real-time fleet monitoring.

Generates coherent mixed audio scenes (speech, music, SFX, ambience) from text using an LLM-driven model, with speech in 9 languages and emotion control.

Enables AI-driven formal proof search in Lean 4 by submitting theorems with sorry placeholders and running parallel LLM agents whose proposed edits are verified by the Lean compiler until a machine-checked proof is produced. Also provides Mathlib theorem search and job/attempt management tools.

Enables AI agents to perform CAD operations through FreeCAD, including part conversion, 3D printing slicing, fluid simulation, and structural analysis, with a web dashboard for human interaction.