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:

  • 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
  • A
    license
    C
    quality
    D
    maintenance
    Enables access to Usage and Billing APIs for managing accounts, products, meters, plans, and usage reporting. Supports operations like creating products/plans, reporting usage, and retrieving billing information.
    18
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables async-first working practices by providing tools to draft decision docs, convert meetings to async artifacts, score status updates, and triage sync vs async tasks. It also offers reference tools for the Open and Async book's principles and coaching prompts.
    11
    122
    45
    Inno Setup
  • F
    license
    B
    quality
    C
    maintenance
    Enables LLMs to read and write local user data, generate fake users via sampling, and interact with structured prompts and resources.
    2
  • A
    license
    C
    quality
    D
    maintenance
    Provides access to the Reuters Business and Financial News API to retrieve articles, trending news, and market data. It enables searching and filtering financial content by date, author, category, and keywords.
    20
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    A streamlined MCP server for XMP metadata embedding with beautiful formatting and smart filename indicators, enabling metadata embedding, reading, validation, and report generation for lifestyle, product, and orbit schemas.
    MIT
  • A
    license
    C
    quality
    D
    maintenance
    Enables interaction with Google Cloud services including billing cost analysis, log querying, and metrics monitoring through natural language commands. Provides comprehensive tools for managing GCP resources, analyzing costs, detecting anomalies, and retrieving operational insights.
    40
    1
    Apache 2.0
  • F
    license
    B
    quality
    C
    maintenance
    MCP server for answering questions about official statistics from a single publication URL, with tools to check query scope, retrieve overview, text, data files, and search.
    5
  • A
    license
    -
    quality
    B
    maintenance
    Enables multi-tier AI-detection screening on academic papers by extracting text from .tex and .docx files, splitting into standard sections, and running a pipeline of statistical and LLM-based analysis.
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    A wrapper for mcp-remote that provides secure authentication for protected MCP servers using Adobe IMS or Okta OAuth flows. It features automated token management, validation, and background refreshing for seamless access to remote resources.
    38
    2
    MIT
  • F
    license
    -
    quality
    D
    maintenance
    A FastAPI-integrated MCP server that provides mathematical operations like addition and multiplication using Pandas for data manipulation. It serves as a comprehensive example for implementing different tool registration patterns and real-time communication via Server-Sent Events.