Skip to main content
Glama
73,107 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

  • 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
    0
    4
    MIT

  • jazz-tools-mcp-v2

    kodyka
    A
    license
    A
    quality
    B
    maintenance
    MCP data connector for Jazz v2 alpha servers, providing schema discovery and query/read tools with optional mutation capabilities for application data.
    9
    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
    16
    20
    MIT

  • mcp-sqlite-tools

    spences10
    A
    license
    B
    quality
    A
    maintenance
    Provides comprehensive SQLite database operations for LLMs with security features, transaction support, and separation of read-only and destructive operations.
    22
    138
    19
    MIT

  • mcp-db-schema-tools

    southglory
    A
    license
    -
    quality
    D
    maintenance
    Database schema management MCP server for Claude Code, enabling natural language management from business requirements to complete databases.
    MIT

  • mcp-data-tools

    mahesh-cr-de
    A
    license
    -
    quality
    C
    maintenance
    A governed MCP server enabling LLM agents to query BigQuery, inspect GCS, trigger Airflow DAGs, and run data-quality checks with built-in security guardrails like allow-lists, cost ceilings, and audit trails.
    1
    MIT

  • SAP OData to MCP Server

    lemaiwo
    A
    license
    -
    quality
    D
    maintenance
    Transforms SAP S/4HANA or ECC systems into conversational AI interfaces by exposing all OData services as dynamic MCP tools. Enables natural language interactions with ERP data for querying, creating, updating, and deleting business entities through SAP BTP integration.
    49
    128
    MIT

  • MCP Spring DB Tools

    yslee1126
    A
    license
    -
    quality
    D
    maintenance
    Enables database schema querying and execution plan analysis for Spring Boot projects. Supports multiple databases including MySQL, PostgreSQL, MSSQL, and SQLite.
    1
    MIT

  • 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

  • mcp-tools-server

    INTERpol21
    A
    license
    -
    quality
    A
    maintenance
    A portfolio MCP server demonstrating four tools (web search, database query, file reading, directory listing) with read-only SQL, filesystem sandbox, and both stdio and HTTP transports.
    MIT

  • mcp-for-redash

    Ashuqwe
    A
    license
    -
    quality
    D
    maintenance
    MCP server that connects AI assistants to Redash, enabling listing of assets, read-only query execution, dashboard inspection, and alert management through the Redash API.
    MIT

  • mcp-tools-sql

    MarcusJellinghaus
    A
    license
    -
    quality
    B
    maintenance
    Provides safe, configurable SQL database access via MCP tools, enabling schema introspection, predefined queries, and structured updates with multi-backend support.
    2
    MIT

  • mcp-for-metabase

    DominikPollok
    A
    license
    -
    quality
    C
    maintenance
    A safety-gated Python MCP server for Metabase that lets MCP clients and agents inspect Metabase, run governed queries, and create or maintain dashboards, cards/questions, collections, snippets, permissions, and other Metabase assets through the Metabase REST API.
    GPL 3.0