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:

  • GCP Billing and Monitoring MCP

    RadiumGu
    A
    license
    C
    quality
    D
    maintenance
    Enables interaction with Google Cloud services including billing cost analysis, log querying, and metrics monitoring through natural language commands. Provides comprehensive tools for managing GCP resources, analyzing costs, detecting anomalies, and retrieving operational insights.
    40
    1
    Apache 2.0

  • AI Detection Engineering

    Simoon896
    A
    license
    -
    quality
    B
    maintenance
    An MCP server that enables conversational interaction with Wazuh SIEM, allowing users to investigate alerts, hunt threats, tune false positives, edit rules, and run security actions via natural language.
    MIT

  • MCP Server for Splunk

    deslicer
    A
    license
    A
    quality
    A
    maintenance
    Enables AI agents to interact seamlessly with Splunk environments through 20+ tools for search, analytics, data discovery, administration, and health monitoring. Features AI-powered troubleshooting workflows and supports multiple Splunk instances with production-ready security.
    53
    27
    Apache 2.0
  • Log Analyzer with MCP by awslabs

    Log Analyzer with MCPofficial

    awslabs
    A
    license
    -
    quality
    D
    maintenance
    A Model Context Protocol server that provides AI assistants access to AWS CloudWatch Logs, enabling browsing, searching, summarizing, and correlating logs across multiple AWS services.
    167
    Apache 2.0

  • io.github.AIops-tools/ceph

    AIops-tools
    A
    license
    A
    quality
    A
    maintenance
    Governed AI-ops for Ceph, providing root-cause health analysis and guarded destructive operations via a built-in governance harness with risk tiers, audit, and undo recording.
    37
    MIT

  • MCP Container Tools

    simseksem
    A
    license
    B
    quality
    D
    maintenance
    An MCP server for managing and monitoring Docker, Docker Compose, and Kubernetes environments alongside Azure Application Insights. It enables advanced log filtering, container lifecycle management, and querying of cloud application traces and metrics.
    7
    MIT

  • Vectra AI MCP Server

    vectra-ai-research
    A
    license
    B
    quality
    C
    maintenance
    Connects AI assistants to the Vectra AI security platform to enable intelligent analysis of threat detection data and automated incident response workflows. It allows users to investigate threats, take response actions, and generate security reports using natural language.
    23
    5
    MIT
  • Confident AI by confident-ai

    Confident AIofficial

    confident-ai
    A
    license
    -
    quality
    B
    maintenance
    Connects AI-powered tools to the Confident AI platform for evaluating, observing, and iterating on AI quality, enabling cloud evaluations, dataset management, prompt versioning, production tracing, and human annotations directly from editors like Cursor and Claude Code.
    2
    MIT

  • PCAP-Analyzer MCP Server

    Amaze-with-AI
    A
    license
    -
    quality
    D
    maintenance
    Enables natural language analysis of network packet captures, including protocol detection, flow analysis, and security threat identification, integrated with AI assistants.
    3
    MIT

  • log-ai-optimizer

    JustinHabashi
    F
    license
    -
    quality
    C
    maintenance
    Compresses log files into templates and statistics using Drain3, and exposes them to AI assistants via an MCP server for efficient log monitoring and anomaly detection.

  • GDP MCP Tools

    asuar16
    F
    license
    -
    quality
    D
    maintenance
    MCP server for Grubhub Data Platform operations, providing 40+ tools across 18 service categories for data platform management, observability, analytics, and collaboration.
  • @verlon-ai/mcp by verlon-ai

    @verlon-ai/mcpofficial

    verlon-ai
    A
    license
    A
    quality
    B
    maintenance
    Model Context Protocol server for Verlon AI that exposes gates, logs, recommendations, and experiments as MCP tools, enabling coding agents to inspect and manage AI infrastructure natively.
    5
    163
    MIT
  • Spyglass AI MCP Server by Spyglass-AI

    Spyglass AI MCP Serverofficial

    Spyglass-AI
    A
    license
    A
    quality
    D
    maintenance
    Enables LLMs to query telemetry data via the Spyglass AI agent, providing intelligent insights about application performance, errors, and bottlenecks.
    1
    MIT

  • Splunk MCP for SOC Operations

    DeepTempo
    A
    license
    B
    quality
    D
    maintenance
    Enables AI-driven SOC investigations by providing automated Splunk querying, threat intelligence enrichment, and response actions through natural language. Includes tools for IP pivoting, lateral movement detection, and label harvesting.
    31
    1
    Apache 2.0
  • HuGR Tools by HumanGuardrail

    HuGR Toolsofficial

    HumanGuardrail
    A
    license
    -
    quality
    B
    maintenance
    A monorepo of MCP toolkits for Cloudflare Workers, providing over 630 tools across SaaS providers and AWS, with composite tools for security, incident response, billing, and cloud cost optimization.
    MIT