"A local AI setup with LM Studio and a secure browser for real-time AI searches" matching MCP servers:

Provides agents with real Linux VMs to run commands, manage files, expose ports, and track costs, all through an ephemeral sandbox service.

A minimal MCP server that exposes a run_command tool over stdio, enabling command execution within a Docker container.

A Model Context Protocol (MCP) server that supports STDIO, SSE and Streamable HTTP protocols for AI model interactions.

Provides a secure workspace for AI-driven file management and Python script execution designed to run on Vercel. It enables tools for full file operations and code execution within a sandboxed environment.

MCP server that gives AI agents isolated, named Linux computers with stable IDs and lifecycle control. Supports multiple backends like Docker, Fly Machines, Modal, and E2B, with a dashboard for managing sandboxes.

Enables AI agents to program MicroPython boards such as Raspberry Pi Pico and ESP32 through Thonny, with visible shell commands and optional human approval.

MCP server for secure, session-based Python code execution in Docker containers, enabling LLM applications to run code, manage state, and access files.

Enables AI-native statistical analysis and reproducible research workflows through MCP, including natural language planning, protocol-based analysis, Python/R cross-validation, and publication-ready figure generation.

MCP server for portable context management across AI assistants, providing tools to store and retrieve persistent context, instructions, and execute sandboxed bash commands with automatic git commits, using OAuth 2.1 and magic link authentication.

Remote-control Unity Editor from any AI IDE via file-based IPC — 62 tools, zero dependencies

A Model Context Protocol server that connects to Google AI Studio/Gemini API, enabling content generation with support for various file types, conversation history, and system prompts.

Enables AI agents to observe and control a browser-based 2D robot simulator, including driving, configuring sensors and modules, running programs, and generating wiring, firmware, and parts lists for ESP32, Arduino Uno, or Raspberry Pi.

Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.

A multi-task MCP server for AI code optimization and testing that integrates with VSCode/Cursor, CLI tools, and autonomous agents. It provides tools for running tests, generating code improvements, and managing objectives across different environments.

MCP server for AI-driven CAD operations, enabling parametric modeling, build, inspection, measurement, rendering, and diff comparison with STEP, DXF, and GLB export.

Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.

A MCP Proxy (Local <-> SSE) with token based authentication.

Bridges a Roblox executor's DEX explorer with an AI client so the AI can see which instance the user has selected and, conversely, select, highlight, or inspect instances inside DEX on the user's behalf. It also exposes execution, inspection, remote-spy, and GUI tools to drive the live Roblox client over a local WebSocket bridge.

An MCP server that exposes 252 algorithms from Knuth's TAOCP to AI agents, with safety guards and structured outputs for tasks like combinatorial generation, SAT solving, number theory, string analysis, graph algorithms, and symbolic math.

Verify-and-repair secure-coding harness that generates, hardens, audits, and scores Go code with a build and security scan feedback loop, and includes a transparent proxy to harden any client automatically.

It enables an AI coding assistant to read and edit a Roblox place, run Luau, drive playtests, take screenshots, and publish assets inside Roblox Studio.

Enables AI-powered coding assistance including file editing, code generation, explanation, review, and shell command execution, using multiple free AI providers with automatic fallback.

Provides a secure, containerized Python sandbox for executing LLM-generated code with multi-layer isolation, along with JSON/CSV validation and workspace state snapshots.

Enables secure execution of Python code, SQL queries, and metric fetching through MCP with ephemeral Docker sandboxing.

Enables AI agents to drive a running Roblox Studio in real time over a single WebSocket, executing whole Luau programs, installing in-engine controllers, hot-patching scripts during live playtests, and receiving errors, assertions and other events as pushes. It also reaches Roblox Open Cloud for the open place and answers visual questions via a vision sidecar, exposing all of this through nine MCP tools.

A local development MCP server that exposes MySQL databases to VSCode and Copilot CLI with read-only SELECT queries and INSERT/UPDATE operations. It provides secure, schema-specific database access for development environments only.

Enables AI models to dynamically create and execute their own custom tools through a meta-function architecture, supporting JavaScript, Python, and Shell runtimes with sandboxed security and human approval flows.

A Model Context Protocol server for time manipulation tasks, enabling AI models to get the current date/time and calculate duration between timestamps.

Provides web search and code execution capabilities using OpenAI models, with optional code interpreter and conversation continuity via response IDs.

Provides emergency coding assistance by querying three AI coding models simultaneously through OpenRouter, with automatic premium fallback on rate limits, returning multiple expert opinions with cost and latency telemetry for debugging and problem-solving.