Skip to main content
Glama
77,159 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"ASDA" matching MCP servers:

  • clickhouse

    donald-ada
    A
    license
    A
    quality
    D
    maintenance
    Enables AI assistants to query and manage ClickHouse databases, supporting SELECT queries, DDL/DML statements, and metadata listing.
    5
    6
    MIT

  • mysql

    donald-ada
    A
    license
    A
    quality
    D
    maintenance
    A Model Context Protocol (MCP) server for interacting with MySQL databases. Provides tools for querying, inspecting, and modifying databases directly from Claude.
    7
    8
    MIT

  • ai-dev-analytics

    LWTlong
    A
    license
    A
    quality
    A
    maintenance
    AI development observability platform. It silently captures structured data from vibe coding sessions via MCP and codifies deviation patterns into project rules to make AI write better code. 100% local and zero runtime dependencies.
    10
    8
    8
    MIT

  • 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

  • agda-mcp

    DreamLinuxer
    F
    license
    B
    quality
    D
    maintenance
    MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.
    30
    2

  • Ada MCP Server

    MDBrothers
    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