Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" 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

  • docker-helper-ai-mcp

    CSOAI-ORG
    A
    license
    -
    quality
    A
    maintenance
    Docker Helper MCP server that provides tools for automating Docker tasks such as generating Dockerfiles, parsing docker-compose files, and optimizing images.
    12
    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

  • Azure HPC/AI MCP Server

    edwardsp
    F
    license
    -
    quality
    D
    maintenance
    Enables users to query Azure HPC/AI Kubernetes clusters for GPU node information and InfiniBand topology details through kubectl commands. Provides tools to list GPU pool nodes with their status and retrieve network topology labels for high-performance computing workloads.

  • 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

  • relayer-mcp

    xns-cloud
    A
    license
    A
    quality
    B
    maintenance
    Install and manage a self-hosted XNS Relayer — S3-compatible distributed object storage — conversationally over stdio. 15 tools cover prerequisites, account registration, install, claim, health, VPD configuration, S3 verification, CLI credentials, settings, restart, and backups.
    15
    214
    Apache 2.0

  • EQVPS

    Poiuyhje
    A
    license
    A
    quality
    B
    maintenance
    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.
    21
    MIT