"A server for full math MCP" matching MCP servers:

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 an AI agent to operate a spare Android phone through MCP: capture screenshots, inspect UI controls, tap/swipe, input Chinese text, launch apps, and optionally run rooted shell commands or transfer files. It also supports a live web console for remote viewing and control.

More than just an MCP server that covers the entire range of Docker management tasks, it helps you create workflows to easily manage your Docker environments at scale. It allows you manage multiple local or remote (TCP, TLS, SSH) docker instances and exposes things like logs and stats as resources so that you can monitor and triage all of them.

MCP server giving AI agents full SSH access with persistent sessions, structured command output, SFTP file transfer, and port forwarding.

Give Claude Desktop full desktop control on Linux/X11: screenshot, mouse, keyboard, windows, clipboard, app launch. Zero-dependency MCP extension, MIT-licensed.

Enables AI agents to execute SSH commands, read files, and list directories on remote hosts with a configurable command-safety policy.

An all-in-one MCP server for local LLMs that provides live web access, math, shell/code execution, filesystem access, memory, and RAG over local files using LM Studio embeddings.

Sandboxed Bash for Agents. Full state capture on every command.

Provides direct, unsandboxed local machine access via filesystem, Python, Node.js, and shell commands for MCP agents.

Unofficial Powershell MCP server

Bridges Claude Desktop to local Windows 10 development environments to enable repository reading, documentation searching, and isolated code execution. It provides a secure interface for running allowlisted terminal commands and scripts directly through natural language.

Provides full control of a macOS system, enabling AI agents to execute shell commands, run AppleScript, manage files and processes, and perform human-like GUI interactions such as clicking, dragging, scrolling, and typing, with a screenshot-based perception loop.

Provides secure filesystem access for AI models through the Model Context Protocol with strict path validation, file operations, directory management, and system command execution within predefined directories.

Enables natural language SSH server management via Claude Code, allowing users to read logs, check services, run commands, and transfer files across multiple servers.

Bridges a remote, cloud-hosted agent to your local machine, exposing Pi's coding tools (read, write, edit, ls, grep, find, bash, powershell) rooted at a directory you choose. It also adds a human channel so the agent can message, question, and wait on you through tool calls instead of a platform chat UI, with OAuth 2.1 or bearer-token authorization and no persistence between runs.

MCP server that provides AI access to a local terminal, enabling command execution, directory navigation, and system operations with persistent session state.

A comprehensive MCP server that enables AI models to perform local file operations, command execution, and task management across multiple platforms. It features advanced capabilities like row-level file editing, directory searching, and system monitoring with built-in security filters.

Provides full access to a local Windows computer via MCP, enabling arbitrary command execution, file operations, and process management through a secure stdio or HTTP tunnel.

Enables an AI agent to take full control of a machine — running shell commands, editing files, managing git, packages and processes, and reaching the network — with batched execution, server-side variables and selectable tool profiles that keep token usage low. It also speaks HTTP so the same agent can operate a remote build box, NAS or VPS.

An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.