Skip to main content
Glama
28,562 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Sumo Logic" matching MCP servers:

  • F
    license
    A
    quality
    C
    maintenance
    Enables searching Sumo Logic logs using the search_logs tool, with support for query parameters such as time range and maximum results.
    Last updated
    1
  • F
    license
    A
    quality
    C
    maintenance
    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
    13
    4
  • A
    license
    -
    quality
    A
    maintenance
    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
    48
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    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
    1
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    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
    43
    MIT
  • F
    license
    -
    quality
    -
    maintenance
    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
    29
  • A
    license
    A
    quality
    C
    maintenance
    Country-agnostic MCP-callable directory for AI agents to find local SMBs — realtors, insurance agents, medical practitioners — by category, location, or natural-language query. Returns business catalog data and UTM-tagged booking URLs (zero PII).
    Last updated
    5
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables efficient code navigation and retrieval through natural language search, BM25 ranking, and fuzzy matching across multiple programming languages. It drastically reduces token usage by allowing Claude to query specific code symbols and logic instead of reading entire files.
    Last updated
    13
    51
    13
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Enables web, image, and news search through the 4get Meta Search engine API. Features smart caching, retry logic, and comprehensive result formatting including featured answers and related searches.
    Last updated
    3
    8
    GPL 3.0
  • A
    license
    A
    quality
    D
    maintenance
    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.
    Last updated
    6
    7
    356
    MIT
  • F
    license
    A
    quality
    C
    maintenance
    Provides automated login functionality for localhost web applications using predefined credentials, designed to work with browser automation tools like the Playwright MCP server.
    Last updated
    4
  • A
    license
    A
    quality
    D
    maintenance
    MCP server that simulates how 5 real ATS parsers (Workday, Greenhouse, Lever, Taleo, iCIMS) read a CV. Pure JS lint engine, MIT licensed, no network calls in lint logic. Vendor-specific rules cite their public sources.
    Last updated
    3
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables AI assistants to help manage your You Need A Budget (YNAB) finances through comprehensive budget operations. Supports account management, transaction handling, category budgeting, split transactions, scheduled payments, and spending analytics with robust error handling and automatic retry logic.
    Last updated
    21
    4
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Coordinated multi-wallet trading on Base. Create wallets, distribute funds, execute synchronized buys/sells, rebalance portfolios.
    Last updated
    8
    17
    1
    MIT