Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • A
    license
    -
    quality
    A
    maintenance
    Enables natural-language interaction with Ladybug Tools for building performance simulation, 3D modeling, and data visualization, allowing agents to perform complex environmental analysis tasks without CAD software.
    3
    GPL 3.0
  • 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
  • F
    license
    -
    quality
    C
    maintenance
    A production-grade MCP server that provides tools to fetch historical stock data, company information, and technical indicators (SMA, EMA, RSI, MACD, Bollinger Bands) via yfinance, and includes a Flask web dashboard for visual analysis.
  • A
    license
    A
    quality
    A
    maintenance
    Renders word-sized charts — sparklines, bars, bullets and 100+ more types — to self-contained SVG with generated alt text, small enough to sit inline in a model's reply or a table cell. Three tools: find the right chart for a question, get its wiring, and render it.
    18
    3
    1,685
    137
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    An MCP server for the Xe Currency Data API that brings live FX rates, historical analysis, and quant-flavored tools into AI tools, working out of the box with zero credentials via Frankfurter/ECB data.
    12
    12
    1
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    An MCP server for rendering common ECharts visualizations from structured tool arguments, exposing per-chart opener tools that map to independent HTML app resources.
    18
    15
    2
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Connects AI assistants to YNAB budgets, providing over 30 tools for managing budgets, accounts, transactions, categories, and analytics with delta sync and caching.
    47
    29
    AGPL 3.0
  • F
    license
    C
    quality
    D
    maintenance
    Exposes a broad mathematics toolkit including symbolic algebra, calculus, numerical methods, linear algebra, statistics, discrete math, graph theory, rendering, and optional GPU acceleration via MCP tools for use with Claude Desktop and other MCP hosts.
    51
    2
  • A
    license
    C
    quality
    B
    maintenance
    A Model Context Protocol server for Metabase that enables AI assistants to interact with Metabase instances, providing 418 tools across 58 categories for database, card, dashboard, collection, user, permissions, and more management.
    100
    23
    2
    MIT