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:

  • Open and Async MCP Server by open-and-async

    Open and Async MCP Serverofficial

    open-and-async
    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

  • MCP Server with Tool,

    Pkaran26
    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

  • Reuters Business and Financial

    BACH-AI-Tools
    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
  • Statistics Query and Verification MCP by ONSdigital

    Statistics Query andofficial

    ONSdigital
    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

  • agentic-detection-lookups

    detection-forge
    A
    license
    A
    quality
    C
    maintenance
    Machine-readable detection lookups for SIEM enrichment and AI agents. Query 800+ LOLBAS and GTFOBins binaries plus process parent-child baselines — get risk levels, abuse categories, and MITRE ATT\&CK mappings without embedding data in prompts.
    6
    Apache 2.0

  • MCP Server with Authentication

    ahmad-act
    A
    license
    C
    quality
    D
    maintenance
    Implements a secure MCP server with API Key and JWT authentication, providing tools like echo, login, secure_action, and admin_action. Includes MCP Inspector integration for testing and debugging.
    1
    3
    MIT

  • xlsx-for-ai

    senoff
    A
    license
    A
    quality
    A
    maintenance
    50 tools and 400 functions for working with Excel/.xlsx spreadsheets — read/write, recalculate formulas, diff, repair broken references, and audit. Built for AI agents.
    50
    376
    5
    MIT

  • gdb and rr Debugging

    schuay
    A
    license
    A
    quality
    C
    maintenance
    MCP server that exposes GDB debugging as tools. An AI assistant can set breakpoints, run programs, step through code, inspect variables and memory, and examine registers — all via structured tool calls. Reverse debugging with rr is also supported.
    34
    3
    MIT

  • Utilia Agent Media and Solana

    mohamedkuch
    A
    license
    A
    quality
    A
    maintenance
    Wallet-funded MCP client for six paid Utilia tools: Solana priority fees, transaction diagnosis and simulation, token-risk checks, PDF-to-Markdown, and audio normalization over x402. MIT-licensed and installable from npm.
    6
    172
    MIT

  • AI Proof of Us MCP Server

    0xddneto
    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

  • MCP Server for Stealth Web

    maxylev
    A
    license
    A
    quality
    A
    maintenance
    A fault-tolerant, stealth-enabled Model Context Protocol (MCP) server for web searching and content fetching. Built for AI Agents (Cursor, Claude Code, OpenCode), it uses a stealth browser engine to fetch pages, dynamically handles SPAs/React, and converts bloat into token-optimized Markdown.
    2
    319
    2
    MIT