Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

  • mcp-docker-tools

    rog0x
    A
    license
    -
    quality
    D
    maintenance
    Provides Docker management tools for AI agents, including inspecting containers, images, Dockerfiles, and Compose configurations.
    41
    1
    MIT

  • Coolify MCP Tools

    jplansink
    A
    license
    -
    quality
    D
    maintenance
    Enables AI assistants to manage Coolify infrastructure including servers, applications, databases, deployments, and 80+ one-click services through 98 comprehensive tools for both cloud and self-hosted instances.
    MIT

  • xcpng-aiops

    AIops-tools
    A
    license
    A
    quality
    A
    maintenance
    Governed XCP-ng operations via Xen Orchestra REST — VM-health, SR-usage, backup-failure, and patch-state RCA, with unbypassable audit logging (MCP + CLI), budget/runaway guards, dry-run, and undo/rollback.
    29
    MIT

  • Veeam AIops

    AIops-tools
    A
    license
    A
    quality
    B
    maintenance
    AI-powered Veeam Backup & Replication operations MCP server with tools for managing jobs, restores, sessions, and repositories, featuring built-in governance, audit logging, and safety controls.
    25
    MIT

  • Nutanix AIops

    AIops-tools
    A
    license
    A
    quality
    A
    maintenance
    Governed AI-ops MCP server for Nutanix Prism Central v4 REST API, offering 47 read/write tools for clusters, VMs, storage, network, catalog, data protection, alerts, and LCM upgrades with built-in audit, budget, and risk-tier governance.
    51
    MIT

  • CO2 Sensor MCP Server

    cyberomusubi
    F
    license
    -
    quality
    D
    maintenance
    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.
    3

  • Hetzner Cloud MCP Server —

    wbf-solutions
    A
    license
    -
    quality
    C
    maintenance
    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,
    MIT

  • unraid-code-mode-mcp

    jmpijll
    A
    license
    A
    quality
    B
    maintenance
    A code-mode MCP server for the Unraid 7.2+ GraphQL API that exposes search and execute tools, allowing LLM agents to introspect and call any GraphQL field via sandboxed JavaScript.
    2
    1
    MIT

  • Proxmox MCP Server

    NightSquawk
    A
    license
    A
    quality
    B
    maintenance
    MCP server for Proxmox VE and Proxmox Datacenter Manager, covering every API endpoint via six consolidated tools for list, describe, and call operations with a read-only safety gate.
    6
    14
    1
    AGPL 3.0

  • proxmox-mcp

    akmalovaa
    A
    license
    A
    quality
    B
    maintenance
    Minimal MCP server for Proxmox VE — 38 tools for nodes, VMs, LXC, storage, and snapshots. Read-only by default, single Docker image, multi-arch.
    38
    2
    MIT

  • docker-mcp

    mpgharris
    A
    license
    A
    quality
    C
    maintenance
    Wraps the Docker Engine API as MCP tools for container and image management. Reduces token consumption by providing typed tools with default summaries and field selection.
    17
    410
    MIT

  • vcluster-mcp

    mmpyro
    A
    license
    A
    quality
    C
    maintenance
    Provides tools for managing vcluster instances, enabling AI assistants to list, describe, create, delete, pause, resume, and execute commands inside virtual clusters.
    14
    2
    Apache 2.0

  • hmc-mcp

    randomparity
    F
    license
    A
    quality
    B
    maintenance
    MCP server and CLI for IBM HMC REST API, enabling AI agents to inventory Power systems, manage LPARs/VIOS, and submit jobs like power on/off, with tools for adapters, storage, networking, and more.
    100

  • VPS MCP Server

    HarjjotSinghh
    A
    license
    A
    quality
    D
    maintenance
    Enables AI agents to connect to and control a Virtual Private Server via SSH. It provides a comprehensive suite of tools for remote file system operations, session management, and shell command execution.
    10
    13
    2
    ISC

  • mcp-vnc

    hrrrsn
    A
    license
    A
    quality
    C
    maintenance
    An MCP server that allows AI agents to remotely control Windows, Linux, and macOS systems via VNC. It provides tools for mouse and keyboard interaction, text input, and screen capturing.
    6
    84
    54
    MIT