"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 20 days ago

  11

  9

• SUMO-MCP Server

  XRDS76354

  -

  security

  A

  license

  -

  quality

  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 a month ago

  36

  MIT

• Logic-Thinking MCP Server

  quanticsoul4772

  -

  security

  A

  license

  -

  quality

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

  1

  MIT

• 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 22 days ago

  43

  MIT

• 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 10 months ago

  29

• MCP Logic

  autonull

  A

  security

  F

  license

  A

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

  13

  4