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

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.

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.

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

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.

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.

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.

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.

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.

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.