"Finding solutions for computational mathematics or engineering problems" 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.

Open-source MCP server for managing Hetzner Cloud infrastructure with two management layers: * Layer 1 — Hetzner Cloud API (35 tools): Server power control, metrics, snapshots, backups, firewalls, DNS zones and records, rescue mode, server rebuild and rescale. Works even when the server OS is unresponsive. * Layer 2 — SSH (25 tools): Service management (systemd), Nginx config and reload,

A Node.js application that provides a JSON-RPC interface to interact with CO2 sensor data, working in both simulation mode and with real Raspberry Pi Pico hardware connections.

MCP server that integrates with Coolify to let AI assistants manage Coolify instances via a clean toolkit wrapping the official REST API.

Provides ChatGPT with a persistent, VM-like Linux engineering workstation inside Docker, with root access, development tools, and a private nested Docker daemon.

VMware workflow orchestration — multi-step state machine with approval gates, audit logging, and conditional execution. Coordinates cross-skill workflows like clone-and-test or compliance-scan-and-remediate across the VMware MCP skill family.

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.

Read-only MCP server to list your SkyNode servers and check their status (IP, state, region, expiry). It does not modify or control servers.

An MCP server that lets AI agents run PHP unit and integration tests inside Docker containers without local PHP or Composer.

Read-only MCP adapter for the Dockhand REST API, enabling secure querying of container environments, networks, stacks, and runtime status via STDIO or authenticated HTTP.

Enables control of GNS3 network lab automation, including projects, nodes, consoles, and SSH, through Claude Desktop or any MCP-compatible client.

No-KYC crypto VPS hosting with an MCP server that lets AI agents provision VPS programmatically. Pay with USDC/USDT on Base and Ethereum, no accounts or verification required.

Provides tools to list, create, power on/off, and delete VMs on vCenter or ESXi hosts using natural language.

Private MCP server exposing the ascii Box API as shell and file tools, letting agents like ChatGPT or Claude drive Linux boxes.

An MCP server for automating virtual or physical Android devices using the Gbox SDK. It enables users to manage app installations, capture screenshots, and perform complex UI actions through natural language instructions.

Enables AI-powered creation, configuration, and management of DevContainer environments using natural language prompts. Supports 11+ templates for popular development stacks and provides container lifecycle operations through VS Code, Cursor, or any MCP-compatible editor.

Enables AI-powered network engineering by providing natural language control over GNS3 network simulations. Supports creating projects, building network topologies, managing devices, controlling simulations, and analyzing network traffic through conversational AI interactions.

MCP bridge for Nemeton — control native macOS virtual machines (Apple Virtualization.framework) from Claude Desktop, Claude Code, or any MCP client. 50+ tools across VM lifecycle, snapshots, console, files, networking, and host metrics. Bridge open-source (MIT), Nemeton app is commercial.

A template MCP server that provides a basic structure and configuration for building Model Context Protocol servers. Includes Docker support, environment configuration, and examples for both STDIO and SSE transport modes.

MCP server for Android emulator automation via ADB.