"Sumo Logic" matching MCP servers:

MCP server for Sumo Logic — 37 tools for searching logs, managing monitors, alerts, dashboards, collectors, and metrics. Zero hardcoded org-specific values.

Enables searching Sumo Logic logs using the search_logs tool, with support for query parameters such as time range and maximum results.

A read-only MCP server for querying Sumo Logic logs, enabling AI assistants to search and investigate application logs with opinionated tools and secure credential handling.

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.

Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.

MCP server that gives small LLMs verified symbolic-math & logic tools.

Provides deterministic logic evaluation tools including boolean expressions, truth tables, SAT solving, JSON logic rules, decision tables, and state machine analysis.

Enables creating and querying semantic knowledge graphs to model business logic, code relationships, and project structure across multiple projects.

Enables AI agents to interact with Eclipse SUMO traffic simulations, automating tasks from data acquisition to signal optimization.

Enables interaction with Sumo Logic's REST APIs through MCP, allowing log search, dashboard management, metrics querying, collector and monitor operations.

MCP server for the Crowe Logic platform, enabling mycology expertise chat, cultivation photo analysis, grow log management, and SOP generation.

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.

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.

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.

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.

Integrates SUMO traffic simulation with the Model Context Protocol for autonomous driving applications, enabling simulation environment interaction and model context management.

Enables AI agents like Claude and Cursor to control Logic Pro for music production, including creating tracks, writing MIDI, operating transport and mixer, and inspecting live project data.

Enables remote control and automation of Saleae logic analyzers for capture, export, and protocol decoding.

Enables AI assistants to run Sumo Logic log searches via HTTP using the Search Job API.

AI-powered control for Apple Logic Pro via MCP, enabling transport, tracks, plugins, MIDI, project, and mixer control through natural language.