Sumo Logic MCP servers

"Sumo Logic" matching MCP servers:

• MCP Sumo Logic Server

  samwang0723

  -

  security

  F

  license

  -

  quality

  Integrates with Sumo Logic's API to enable log search with configurable queries and time ranges, supporting error handling and easy deployment via Docker.

  Last updated 10 months ago

  7

  7

• MCP-Logic

  angrysky56

  -

  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 6 days ago

  36

  MIT License

• Logic MCP Server

  Mnehmos

  -

  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

• MCP Logic

  automenta

  -

  security

  F

  license

  -

  quality

  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 5 hours ago

  2

• Logic-LM MCP Server

  shipitsteven

  -

  security

  A

  license

  -

  quality

  Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.

  Last updated 4 months ago

  2

  MIT License

• signal-mcp-server

  stefanstranger

  -

  security

  F

  license

  -

  quality

  MCP Server for retrieving Signal messages using signal-export logic.

  Last updated 5 months ago

  4