Skip to main content
Glama
64,457 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Sumo Logic" matching MCP servers:

  • A
    license
    -
    quality
    C
    maintenance
    MCP server for Sumo Logic — 37 tools for searching logs, managing monitors, alerts, dashboards, collectors, and metrics. Zero hardcoded org-specific values.
    Last updated
    Apache 2.0
  • F
    license
    A
    quality
    C
    maintenance
    Enables searching Sumo Logic logs using the search_logs tool, with support for query parameters such as time range and maximum results.
    Last updated
    1
    1
  • A
    license
    A
    quality
    A
    maintenance
    An MCP server that gives coding agents programmatic access to Sumo Logic logs via the Search Job API, enabling issue triage in preview deployments and production without leaving the editor.
    Last updated
    14
    37
    Apache 2.0
  • F
    license
    A
    quality
    D
    maintenance
    Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
    Last updated
    13
    4
  • F
    license
    A
    quality
    C
    maintenance
    Provides deterministic logic evaluation tools including boolean expressions, truth tables, SAT solving, JSON logic rules, decision tables, and state machine analysis.
    Last updated
    8
  • A
    license
    -
    quality
    F
    maintenance
    Enables interaction with Sumo Logic's REST APIs through MCP, allowing log search, dashboard management, metrics querying, collector and monitor operations.
    Last updated
    5
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
    Last updated
    1
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
    Last updated
    44
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    Connects LLMs to Eclipse SUMO traffic simulation, enabling AI agents to automate traffic network generation, demand modeling, signal optimization, simulation execution, and real-time TraCI control through natural language.
    Last updated
    50
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    AI-driven USB logic analyzer control via FastMCP. Captures digital traces, decodes UART/I2C/SPI, and exports VCD for PulseView, supporting sigrok hardware and built-in simulator.
    Last updated
    2
    MIT
  • F
    license
    -
    quality
    C
    maintenance
    Enables remote control and automation of Saleae logic analyzers for capture, export, and protocol decoding.
    Last updated
    10