Skip to main content
Glama
64,513 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Sumo Logic" matching MCP servers:

  • A
    license
    A
    quality
    D
    maintenance
    Provides code-aware context compression by stripping comments, docstrings, and whitespace while maintaining full logic fidelity for AI agents. It features tools for architectural mapping, symbol searching, and token-budgeted multi-file reading.
    Last updated
    9
    4
    4
    MIT
  • A
    license
    A
    quality
    D
    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
    47
    13
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Analyzes GitHub Pull Request diffs for security vulnerabilities and data leaks, using a deterministic filter to skip trivial changes and an AI-powered analysis for logic changes.
    Last updated
    1
    MIT
  • A
    license
    B
    quality
    B
    maintenance
    Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.
    Last updated
    2
    Apache 2.0
  • A
    license
    B
    quality
    C
    maintenance
    Connects LLMs to GitHub and GitLab to analyze pull and merge requests for logic, security, and architectural alignment. It provides tools for fetching diffs, file contents, and project metadata, alongside guided prompts for professional code reviews.
    Last updated
    10
    18
    ISC
  • F
    license
    B
    quality
    D
    maintenance
    Enables AI agents to read and understand local Mendix project structure and logic by connecting directly to the .mpr file via MCP. Allows querying microflows, entities, attributes, and modules in read-only mode without requiring cloud access.
    Last updated
    4
    1
  • A
    license
    B
    quality
    -
    maintenance
    SourceSage is an MCP (Model Context Protocol) server that efficiently memorizes key aspects of a codebase—logic, style, and standards—while allowing dynamic updates and fast retrieval. It's designed to be language-agnostic, leveraging the LLM's understanding of code across multiple languages.
    Last updated
    13
    7
  • A
    license
    C
    quality
    C
    maintenance
    BlueMouse is the "Prefrontal Cortex" for LLMs. It uses a 180k+ failure pattern database to validate code logic before execution, acting as a rigorous Quality Gate to prevent hallucinations and unsafe operations.
    Last updated
    8
    110
    AGPL 3.0
  • A
    license
    -
    quality
    C
    maintenance
    Analyzes Hytale game SDK by automatically detecting the installation, decompiling server logic, and exposing an AI-ready interface via the Model Context Protocol for searching API and assets.
    Last updated
    4
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
    Last updated
    82
    202
    Apache 2.0
  • A
    license
    -
    quality
    D
    maintenance
    Brings rubber duck debugging to AI-powered IDEs by providing a tool for articulating problems and clarifying logic in natural language. It helps developers and AI agents reveal hidden assumptions and surface solutions through structured self-explanation and reflection.
    Last updated
    MIT