Skip to main content
Glama
76,772 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"MCP servers that support SSE connections" matching MCP servers:

  • ARM Verification MCP Servers

    bivex
    F
    license
    Not graded
    quality
    D
    maintenance
    A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.

  • Octocode MCP

    bgauryy
    A
    license
    A
    quality
    A
    maintenance
    AI-powered code assistant that provides advanced search and discovery capabilities across GitHub and NPM ecosystems, helping users understand code patterns, implementations, and connections between repositories.
    13
    526
    915
    TypeScript
    MIT

  • whats-inherited-mcp

    stcmain
    A
    license
    A
    quality
    A
    maintenance
    Enumerates everything in a code checkout addressed to an AI agent, including instruction files, hook commands, declared MCP servers, and skills/subagents, so you can review what your agent will actually follow.
    5
    168
    MIT

  • mcp-shipcheck

    mcp-tool-shop-org
    A
    license
    A
    quality
    A
    maintenance
    Audits local package folders to generate publish-readiness reports and previews of NPM tarball contents. It helps developers identify and resolve configuration issues like missing types or broken exports before releasing code.
    3
    59
    MIT

  • Minestom MCP Server

    RonaldBunk
    A
    license
    A
    quality
    C
    maintenance
    An MCP server designed for developers to build and manage Minestom-based Minecraft servers by inspecting project environments, build configurations, and API documentation. It enables users to plan features, review design patterns, and discover libraries within the Minestom ecosystem.
    9
    12
    6
    Apache 2.0

  • tds-mcp

    Guipegoraro
    A
    license
    A
    quality
    C
    maintenance
    Enables AI assistants to compile AdvPL/TLPP sources, generate and apply patches, and inspect RPO of TOTVS Protheus servers via the TDS Language Server.
    13
    1
    MIT

  • mcp-gauge

    sogawa-yk
    A
    license
    A
    quality
    D
    maintenance
    An MCP server that enables coding agents to autonomously test, evaluate, and tune other MCP servers by acting as a proxy and providing linting, trace recording, evaluation, comparison, and reporting tools.
    7
    MIT

  • mcp-security-scanner

    badchars
    A
    license
    A
    quality
    A
    maintenance
    Security scanning for MCP servers from the inside out. Provides runtime inspection, AST-based static analysis, config audit, dependency analysis, and OWASP MCP Top 10 compliance in a single MCP server.
    55
    62
    5
    MIT

  • my-design MCP Server

    Davont
    F
    license
    A
    quality
    D
    maintenance
    An MCP server that enables AI to interact with the private 'my-design' React component library and design tokens for UI generation and technical support. It provides tools for component searching, API documentation retrieval, and migration guidance based on specific internal design specifications.
    6

  • agda-mcp

    peterthiemann
    A
    license
    A
    quality
    A
    maintenance
    Provides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.
    18
    289
    MIT

  • github-mcp

    awernick
    F
    license
    A
    quality
    B
    maintenance
    MCP server exposing GitHub tools for issues, pull requests, and code browsing via the GitHub REST API. Designed for local LLM clients with flat arguments and streamable HTTP support.
    15

  • codex-mcp-server

    tuannvm
    A
    license
    A
    quality
    C
    maintenance
    Bridges Claude and OpenAI's Codex CLI for AI-powered code analysis, generation, and review, with support for session management, web search, and structured output.
    6
    2,559
    618
    ISC

  • mcp-lsp-v1

    beruang
    F
    license
    A
    quality
    B
    maintenance
    An MCP stdio server that wraps language servers to expose read-oriented code-intelligence tools (hover, definition, references, diagnostics, etc.) for coding agents, supporting TypeScript/JavaScript and Python.
    56
    1