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:

  • IT Tools MCP Server

    wrenchpilot
    A
    license
    B
    quality
    F
    maintenance
    A comprehensive Model Context Protocol server providing access to 70+ IT tools for developers and system administrators, including encoding/decoding, text manipulation, hashing, and network utilities.
    34
    100
    179
    22
    TypeScript
    MIT

  • MCP Files

    OrionPotter
    A
    license
    A
    quality
    -
    maintenance
    Enables agents to quickly find and edit code in a codebase with surgical precision. Find symbols, edit them everywhere with tools for reading code blocks, searching/replacing text, and making precise line-based modifications.
    3
    11

  • idnow-mcp-server

    DevMohith
    F
    license
    A
    quality
    B
    maintenance
    An MCP server that lets LLM agents operate the IDnow Trust Platform sandbox to list verification flows, create sessions, check sessions, and get session details.
    4

  • rev-eng-cursor-regex-mcp

    blas0
    A
    license
    A
    quality
    C
    maintenance
    Enables fast literal and regex search over local workspaces using a sparse n-gram index for candidate pruning, with deterministic verification against file contents.
    8
    1
    MIT

  • polymarket-trader-mcp

    demwick
    A
    license
    A
    quality
    C
    maintenance
    Trade, analyze, and automate Polymarket prediction markets via AI. 34 tools for direct trading, smart money flow, copy trading, backtest, and portfolio management.
    48
    281
    14
    MIT

  • MCP Printer Server

    steveclarke
    A
    license
    A
    quality
    C
    maintenance
    Enables AI assistants to print documents, manage print queues, and control printers on macOS/Linux systems via the CUPS printing system. Supports printing PDFs, text files, and other formats with options like duplex printing, landscape orientation, and multiple copies.
    6
    26
    10
    MIT

  • MCP Server Starter

    LassiterJ
    F
    license
    B
    quality
    D
    maintenance
    A minimal TypeScript starter template for building Model Context Protocol (MCP) servers with auto-loading architecture for tools, resources, and prompts. Includes code generators, dual transport support (stdio/HTTP), and production-ready structure.
    3

  • sap-abap-mcp

    Coaspe
    A
    license
    C
    quality
    A
    maintenance
    A local MCP server that connects to SAP ABAP systems via ADT HTTP API, enabling AI assistants to search, read, and manage ABAP objects securely without SAP GUI.
    100
    491
    3
    MIT

  • mcp-alphabanana

    tasopen
    A
    license
    A
    quality
    C
    maintenance
    Local MCP server for generating image assets with Google Gemini (Nano Banana 2 / Pro). Supports transparent PNG/WebP output, exact resizing/cropping, up to 14 reference images, and Google Search grounding.
    1
    37
    8
    MIT