"Sumo Logic" matching MCP servers:

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

Executes advanced logic primitives and cognitive operations via MCP tools, with dynamic LLM configuration and database tracing for reasoning tasks.

Enables AI agents to perform dynamic and reflective problem-solving through a chain of thoughts, allowing them to break down complex problems, revise past thoughts, and explore logic branches before reaching a conclusion.

An MCP server that exposes vehicle-diagnostic and CAN-bus domain logic as agent tools, with a LangGraph orchestration layer and a human-in-the-loop eval harness.

Advanced MCP server that uses OpenRouter and Perplexity APIs for enhanced query processing with multi-vendor support, query type optimization, file attachments, and robust retry logic.

Thin MCP server that enables AI agents to generate video, image, and audio content via the Deepy API using a personal API key, with safe generation flow and no business logic.

Enables any MCP-compatible AI tool to read and leverage Cursor's context files (rules, agents, and skills) with their activation logic, allowing teams to maintain a single source of context across different AI coding assistants.

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

An MCP server that gives LLMs structured, verifiable memory by storing facts in a knowledge graph and enabling logic-based reasoning through natural dialogue.

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.

MCP server that enables generating songs or instrumental music using Suno V6, V6_MINI, and V6_WILD models via the Kie.ai API, with support for checking task status and retrieving audio URLs.

A RunAPI MCP server for the Suno music generation models, enabling task creation (text-to-music, covers, mashups, etc.), polling, and pricing lookup through a single API key.

Enables multi-model deliberation by sending questions to various AI models and aggregating their responses and typed cross-model reactions, facilitating agreement, challenge, and exploration for tasks like architecture review and strategy.

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

Enables managing AI voice agents, phones, integrations, workflows, calls, and billing directly from chat, including editing agent settings, connecting CRMs, and reviewing call logs.

An MCP server that enables local AI models to automatically generate lyrics and style prompts, then submit songs to Suno via browser automation.

Enables AI music generation via Suno AI, allowing users to generate tracks with prompts and styles, and download them as MP3.

Converts natural language specifications into working ladder logic and complete Studio 5000 projects, enabling AI-powered PLC programming with L5X and .ACD file generation, semantic search, and documentation access.

A FastAPI + FastMCP integrated template for quickly building MCP servers that expose custom business logic as AI-accessible tools.

MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.