Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

  • bricks-and-context

    laraib-sidd
    A
    license
    -
    quality
    C
    maintenance
    Enables AI assistants to interact with Databricks workspaces, running SQL queries, managing jobs, and exploring schemas via the Model Context Protocol.
    1
    GPL 3.0

  • Databases MCP Server (Access

    Carltk
    A
    license
    -
    quality
    D
    maintenance
    Enables AI to interact with Microsoft Access (.mdb, .accdb) and SQLite 3 databases, including read-only support for Access 97 databases. Supports executing SQL queries, importing/export data from CSV and Excel files, and storing notes about database files.
    MIT

  • Access and SQLite MCP Server

    scanzy
    A
    license
    -
    quality
    C
    maintenance
    Enables AI interaction with Microsoft Access and SQLite databases to perform SQL queries, updates, and data management. It supports importing and exporting data via CSV and Excel files and includes tools for managing human-readable notes about database files.
    7
    MIT

  • Banking and Fintech MCP Server

    anhtuanluu
    F
    license
    -
    quality
    D
    maintenance
    A FastMCP-based server designed for the banking and fintech domains, providing tools for database queries, Git operations, and deployment management. It features a modular architecture with reusable prompt templates and integrated security practices for sensitive data handling.

  • Database Tools for Claude AI

    elber-code
    A
    license
    B
    quality
    D
    maintenance
    MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.
    1
    3
    4
    MIT

  • pizza-analytics

    ferrerj
    A
    license
    -
    quality
    C
    maintenance
    Exposes local DuckDB pizza sales data as MCP tools for querying store-level and total sales metrics via natural language, enabling local LLMs to perform real-time analytical queries.
    MIT

  • mcp-airtable

    delta-and-beta
    A
    license
    -
    quality
    D
    maintenance
    Enables AI assistants to perform complete CRUD operations on Airtable bases, tables, records, fields, and comments, with batch processing and file attachment support, plus enterprise-grade reliability features.
    8
    MIT

  • Agentic AI System with MCP

    pratyush-usc-mba
    F
    license
    -
    quality
    D
    maintenance
    Enables integration with financial transaction data through REST APIs, PostgreSQL databases, and document storage systems. Demonstrates agentic AI capabilities by connecting to Alpha Vantage API and managing financial data through natural language interactions.

  • AI Sales Query Agent MCP

    Kusubhavani
    F
    license
    -
    quality
    C
    maintenance
    Enables natural-language sales queries against a SQLite database, generating and executing read-only SQL through a secure MCP server with table listing, schema description, and query execution.

  • mcp-agent-tools

    zyay
    A
    license
    -
    quality
    B
    maintenance
    An MCP server that equips AI agents with real-world tools including file operations, read-only MySQL queries, web summarization, safe calculations, and system info. It uses stdio transport and enforces safety guardrails like SELECT-only database access and AST-based math evaluation.
    MIT

  • db-tools-mcp

    urjeetpatel
    A
    license
    A
    quality
    C
    maintenance
    Exposes SQL Server and Snowflake schema metadata to AI coding agents, enabling schema search, join path discovery, and stored procedure metadata retrieval without live queries.
    18
    GPL 3.0

  • claude-database-tools

    Cyronius
    A
    license
    A
    quality
    D
    maintenance
    A SQL Server CLI and MCP server for Claude Code that supports standard SQL Server authentication for database interaction and management. It enables users to perform schema exploration, execute queries, and manage data records with built-in SQL injection prevention.
    12
    5
    MIT

  • Elasticsearch Knowledge Graph

    j3k0
    A
    license
    B
    quality
    D
    maintenance
    Provides a scalable knowledge graph implementation for Model Context Protocol using Elasticsearch, enabling AI models to store and query information with advanced search capabilities, memory-like behavior, and multi-zone architecture.
    20
    15
    20
    MIT