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:

  • 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
    -
    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
  • A
    license
    B
    quality
    D
    maintenance
    Provides emergency coding assistance by querying three AI coding models simultaneously through OpenRouter, with automatic premium fallback on rate limits, returning multiple expert opinions with cost and latency telemetry for debugging and problem-solving.
    1
    22
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Records privacy-preserving receipts for AI-assisted tasks and enables optional onchain reward claiming via AIPOU tokens. Integrates with MCP-compatible clients like Claude and Cursor.
    9
    3
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    Real-time email verification API with syntax, MX, disposable detection, role-based flags, quality score 0-100. Built for agent outreach pipelines with pay-per-call via x402 (USDC on Base L2) -- no API key, no signup, no rate-limit wall.
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    An MCP server that exposes a Proof workspace to MCP clients, enabling tools for reading/writing concepts, managing ideas and projects, running ideation operators, and more, with live sync and headless authentication.
    112
    AGPL 3.0
  • A
    license
    -
    quality
    D
    maintenance
    Provides AI assistants with a standardized interface to interact with the Todo for AI task management system. It enables users to retrieve project tasks, create new entries, and submit completion feedback through natural language.
    32
    Apache 2.0
  • A
    license
    -
    quality
    D
    maintenance
    An MCP server that gives AI coding assistants QA superpowers, enabling users to report bugs by pointing, clicking, or typing while automatically capturing diagnostic data for AI-driven test-feedback-fix loops.
    96
    4
    MIT
  • F
    license
    -
    quality
    B
    maintenance
    Enables AI agents to fact-check claims, verify citations, and check source freshness using Wikipedia, Wikidata, Crossref, and Wayback Machine.
    1
  • -
    license
    -
    quality
    -
    maintenance
    A TypeScript implementation of a Model Context Protocol server that enables real-time communication with LLM clients using Server-Sent Events (SSE) for transport and Bearer Token authentication for security.