"Sumo Logic" matching MCP servers:

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

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.

Enables AI assistants to control Saleae Logic analyzers, capture and analyze digital/analog signals, and export data via MCP.

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

A read-only reference server for 303 curated generative art algorithms implemented in Python (py5), spanning physics, fractals, cellular automata, shaders, and more. Agents can search by keyword, visual mood (ethereal, chaotic, crystalline…), or multi-layer artistic intent to discover algorithms, read structured summaries, and fetch bounded source snippets.

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

An MCP server providing steel domain knowledge to AI agents — grade properties, substitution verdicts, and mill-cert guidance as MCP tools. 23 grades, trade-verified substitution logic. Returns honest "not in knowledge base" rather than guessing.

A thin stdio gateway to Nodus's Streamable HTTP MCP server, exposing a curated allowlist of tools for the Research Workbench. It enables secure, bearer-authenticated interactions with Nodus without graph logic or caching.

An MCP server that enables AI assistants to call statistician's decision logic for recommending statistical tests, checking assumptions, interpreting results, and planning sample sizes.

An MCP server that exposes futures prop firm data and personalized recommendation logic to AI agents like Claude and ChatGPT.

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

Enables interactive design, execution, and analysis of SUMO traffic simulations through natural language, providing tools for scenario generation, policy experimentation, result analysis, and visualization.

A Model Context Protocol server that provides comprehensive control over the Qualtrics platform, enabling survey creation, question management, logic flows, distributions, contacts, and response exports through natural language.

Enables hierarchical problem analysis using logic trees with MECE validation, hypothesis generation, and feasibility assessment for structured decision-making.

Disruption Intelligence MCP gives AI agents access to commercial disruption signals through a public MCP server backed by the hosted Forgemesh API. It supports WARN/layoff intelligence, company context, geospatial territory disruption, x402 payment challenge inspection, and economic signal workflows without exposing private scoring logic, ingestion systems, schemas, or infrastructure.

MCP bridge integrating oscilloscopes, logic analyzers, and cameras for AI-driven waveform analysis and automated measurement.

Enables LLMs to conduct dynamic, conversational surveys with skip logic, session resume, and pluggable storage.

Always free field math and reference for the trades.

Enables philosophical reasoning and concept analysis through NARS non-axiomatic logic integration, supporting multi-perspective synthesis, epistemic uncertainty tracking, and contextual semantic exploration with built-in truth maintenance.