Skip to main content
Glama
74,197 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Sort servers by usage in the last 30 days" matching MCP servers:

  • F
    license
    -
    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.
  • A
    license
    B
    quality
    A
    maintenance
    An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.
    48
    2
    Apache 2.0
  • A
    license
    A
    quality
    B
    maintenance
    An AST-based MCP server that provides token-efficient codebase skeletons to LLM agents, reducing context token usage by 80-95% by exposing structural information instead of full source files.
    5
    12
    2
    MIT
  • 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
  • A
    license
    A
    quality
    C
    maintenance
    An MCP server that helps catch context drift in AI coding agents by comparing actual code changes against the original request, allowing users to keep or roll back unintended additions.
    2
    MIT
  • 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
  • A
    license
    A
    quality
    A
    maintenance
    A deterministic symbol oracle over a locally built index of the repository: whether a symbol exists, what a file declares, and what changed structurally since the last snapshot. It also ships a PreToolUse guard that stops an Edit/Write referencing a function, constant or type the repo does not declare, before the write lands rather than after the build fails. No LLM, no API keys, no network, no l
    6
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    MCP server connecting Claude Code to LM Studio, delegating token-expensive tasks to a local model while keeping the cloud model in control. It reduces cloud context usage by reading files locally and returning only the processed results.
    4
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    An MCP server that scans code repositories for app store rejection risks by mapping API usage to required declarations and policy deadlines, enabling agents to catch issues before submission.
    5
    MIT