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:

  • MCP AI Bug Helper

    meinzeug
    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

  • Systems MCP

    lethain
    A
    license
    B
    quality
    D
    maintenance
    An MCP server that allows users to run and visualize systems models using the lethain:systems library, including capabilities to run model specifications and load systems documentation into the context window.
    2
    14
    MIT

  • Proof Mode

    vikramlaishram-lang
    -
    license
    -
    quality
    C
    maintenance
    An MCP server implementing a multi-phase backend for structured model interactions, bounded compilation, exact-hash confirmation, and Codex-run provenance, with trust-separation hardening.
    1

  • Math MCP Server

    avanishd-3
    A
    license
    A
    quality
    C
    maintenance
    Enables basic arithmetic operations (addition, subtraction, multiplication, division) with 64-bit precision and matrix multiplication capabilities. Provides mathematical computation tools for AI assistants through the Model Context Protocol.
    5
    1
    MIT

  • math-mcp

    Desz01ate
    A
    license
    A
    quality
    C
    maintenance
    A secure MCP server for evaluating mathematical expressions with grammar validation, function whitelisting, and sandboxed execution. It provides tools for expression evaluation, variable management, and resources for grammar and function documentation.
    6
    41
    MIT

  • Math-MCP

    EthanHenrickson
    A
    license
    A
    quality
    B
    maintenance
    A Model Context Protocol server that provides basic mathematical and statistical functions to LLMs, enabling them to perform accurate numerical calculations through a simple API.
    2
    13
    41
    171
    MIT

  • Math MCP Server

    danielsimonjr
    A
    license
    B
    quality
    A
    maintenance
    Provides secure mathematical computation capabilities including expression evaluation, symbolic math (derivatives, simplification), matrix operations, statistics, and unit conversion, with multi-tier acceleration through WebAssembly and WebWorkers for high-performance calculations.
    7
    213
    ISC

  • Math MCP Server

    jaffrepaul
    F
    license
    -
    quality
    D
    maintenance
    Enables LLMs to perform accurate mathematical calculations by evaluating expressions using mathjs. Supports basic arithmetic, functions, constants, and complex mathematical operations through natural language requests.

  • MCP Math Server

    IBM
    A
    license
    C
    quality
    C
    maintenance
    A Mathematical Computation Protocol server providing 286 mathematical functions across multiple domains with flexible transport options (STDIO/HTTP) and streaming capabilities.
    100
    4
    Apache 2.0

  • Template MCP Server

    redhat-data-and-ai
    A
    license
    -
    quality
    C
    maintenance
    A production-ready foundation template for building Model Context Protocol (MCP) servers with FastAPI, featuring modular tools, comprehensive testing, and OpenShift deployment configurations. Includes automated transformation scripts to create custom domain-specific MCP servers.
    65
    Apache 2.0

  • rlm-tools

    stefanoshea
    A
    license
    A
    quality
    D
    maintenance
    An MCP server that provides a persistent sandbox for AI coding agents to explore codebases server-side, returning only compact summaries to reduce context consumption.
    3
    8
    MIT

  • Coding Tools MCP

    xyTom
    A
    license
    -
    quality
    B
    maintenance
    Empower any MCP-compatible AI Agent(MCP Client) with engineering-grade capabilities to understand, modify, run, and deliver real-world code repositories.
    749
    Apache 2.0