Skip to main content
Glama

Sumo Logic MCP tools

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

45,342 tools. Last updated 2025-12-19 16:18

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers

  • -
    security
    A
    license
    -
    quality
    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 7 days ago
    36
    MIT License
    • Linux
    • Apple
  • -
    security
    F
    license
    -
    quality
    A backend server that executes advanced logic primitives and cognitive operations through the Model Context Protocol, allowing integration with various LLM providers for reasoning, data processing, and structured thought processing.
    Last updated 6 months ago
    29