Skip to main content
Glama
82,854 servers. Updated

Matching MCP tools:

  • A
    license
    B
    quality
    A
    maintenance
    Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.
    2
    Apache 2.0
  • A
    license
    C
    quality
    B
    maintenance
    A FastMCP server for mathematical computations, including numerical and symbolic calculations with NumPy and SymPy integration, as well as data visualization through Matplotlib.
    12
    20
    MIT
  • F
    license
    Not graded
    quality
    B
    maintenance
    Provides AI agents with deterministic symbolic math capabilities through 21 tools for algebra, calculus, transforms, and DSP, preventing hallucinations by delegating computations to a SymPy engine.
    -
  • F
    license
    Not graded
    quality
    C
    maintenance
    Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.
    -