"author:sandraschi" matching MCP servers:

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

Enables interacting with Bluesky/AT Protocol through MCP tools for posting, replying, media, timelines, and a human-approved outbox system.

Enables AI agents and MCP clients to programmatically control a ROS 2-based robot car, execute autonomous missions, inspect telemetry, manage peripherals such as lights and OLED, and integrate with fleets.

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.

Bridges Cursor and Claude Desktop with the OpenClaw and Moltbook ecosystems to manage personal AI agents and communication gateways across platforms like WhatsApp and Discord. It provides MCP tools to invoke agents, manage sessions, and handle social agent interactions within a secure, virtualized environment.

A Windows computer use agent — FastMCP server that gives AI assistants hands on the real desktop: windows, UI elements, mouse, keyboard, screenshots, OCR, shortcuts, dialogs, and outcome verification.

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.

Enables control and monitoring of a Dreame robot vacuum via MCP tools, including cleaning, status, and map viewing through the cloud API.