Skip to main content
Glama
79,479 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"The number 555" matching MCP servers:

  • 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.
    52
    2
    Apache 2.0
  • A
    license
    C
    quality
    D
    maintenance
    Architectural Gatekeeper for AI coding. Prevents "tunnel vision" bugs by forcing the AI to verify dependencies (via AST parsing) before editing files. Supports JavaScript & TypeScript. Blocks unsafe edits until the AI proves it understands the impact
    3
    Apache 2.0
  • A
    license
    Not graded
    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.
    4
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables interaction with the ACL2 theorem prover through 15 tools for theorem proving, expression evaluation, persistent session management, and proof debugging.
    5
    BSD 3-Clause
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables starting code analysis and obtaining code analysis reports via the MCP protocol, integrating with Tencent Cloud Code Analysis (TCA).
    28
    ISC
  • A
    license
    Not graded
    quality
    C
    maintenance
    Provides code analysis for Next.js projects through the Model Context Protocol, enabling IDE and LLM integration to identify unused files, dead code, and redundant API endpoints.
    8
    8
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    A server component of the Model Context Protocol that provides intelligent analysis of codebases using vector search and machine learning to understand code patterns, architectural decisions, and documentation.
    12
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Code-search engine that parses TypeScript and JavaScript with a real AST, stores the symbol graph in SQLite, and serves AI assistants exact matching declarations (functions, classes, types) via BM25 fused with declaration-exact ranking — saving tokens by returning only the relevant code instead of whole files.
    249
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    The Fabric-Analytics-MCP server enables AI agents to interact directly with Microsoft Fabric using natural language. It transforms complex data engineering tasks—such as workspace management, data exploration, and job execution—into intuitive, conversational workflows for LLMs like Claude or GitHub
    17
    109
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    An MCP server that provides semantic Ada language features like navigation, diagnostics, and code intelligence to AI coding agents by wrapping the Ada Language Server.
    1
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    Provides persistent memory for coding agents and grounds their claims by verifying against the actual codebase, preventing hallucinated responses.
    506
    Apache 2.0
  • F
    license
    Not graded
    quality
    A
    maintenance
    Exposes CodeScene's Code Health analysis as local AI-friendly tools, enabling AI assistants to provide insights on code quality, maintainability, and technical debt directly from the codebase.
    61
  • A
    license
    Not graded
    quality
    C
    maintenance
    MCP server that provides disassembly and reverse engineering capabilities via the Capstone framework, supporting multiple architectures.
    MIT