Skip to main content
Glama

Ultimath MCP

Hör auf, Zahlen zu halluzinieren. Ein MCP-Server, der jeden mathematischen Ausdruck parallel durch acht unabhängige Engines laufen lässt — exakt symbolisch, Ball, Intervall, drei verschiedene Gleitkommazahlen mit beliebiger Genauigkeit, verzögert symbolisch und IEEE 754, jede mit ihren eigenen Fehlermodi — und alle acht Ergebnisse nebeneinander zurückgibt, sodass du bei Abweichungen weißt, dass die Antwort numerisch unzuverlässig ist.

Engine

Was sie tut

Exakt symbolisch

Exakte Arithmetik: legt einen Wert fest, statt ihn zu approximieren

Multipräzision

Ball-Arithmetik; der rigorose Radius wird mitgeführt

Intervall

Rigorose untere/obere Schranken (garantierte Einschließung)

Binäre Gleitkommazahl

Binäre Gleitkommazahlen mit beliebiger Genauigkeit, kein GMP darunter

PARI/GP

Ohne GMP gebaut: eigene Kerne für ganze Zahlen und transzendente Funktionen

NTL RR

Exakte ganzzahlige Mantisse × 2^e; nur Operationen runden

Verzögert symbolisch

Schreibt vor der Auswertung um: Eine Auslöschung rundet nie

IEEE-754 double

Standard-Gleitkommazahl der Hardware

Wofür jede Engine einsteht

Acht Zahlen zu lesen ist nur die halbe Antwort. Jede Engine sagt auch, wie weit sie ihre eigene Aussage untermauert — und die drei Antworten sind keine Abstufungen voneinander:

Feld

Was die Engine aussagt

"exact": true

Sie hält den Wert. Die Anzeige ist eine Verkürzung davon: Jede weitere Ziffer, die du anforderst, ist eine Ziffer der Zahl, keine genauere Näherung.

"digits": N

Ihre eigene Fehlerschranke deckt die ersten N signifikanten Ziffern ab. 0 ist eine echte Antwort — das ist es, was katastrophale Auslöschung mit einem Wert macht.

keines

Sie trägt keine Fehlerschranke. Sie hat so viele Ziffern ausgegeben, wie du angefordert hast, und kann über keine von ihnen etwas aussagen.

Diese letzte Zeile ist nicht 0, und sie ist der Grund, warum die anderen Engines existieren. Fünf der acht sind konstruktionsbedingt vorhanden.

Bei exp(pi*sqrt(163)) - 262537412640768744 druckt eine Engine 63 Ziffern, von denen 34 richtig sind — und sagt nichts darüber. Zwei andere beweisen 33 und hören auf. Eine hält den Wert exakt. Wenn du nur die acht Zahlen liest, wüsstest du nicht, welche welche war.

Keine Engine wird jemals über eine andere befragt: Jede Aussage betrifft nur sie selbst.

Related MCP server: mcp-abacus

Die exakte Engine

calcium entscheidet eine Gleichheit, statt Ziffern zu vergleichen, erreicht Pole, die die anderen Engines nur annähern (tan(pi/2) ist uinf), und wenn die ausgegebenen Ziffern nur eine Verkürzung sind, gibt es auch die geschlossene Form zurück — sqrt(2)+1 kommt mit Add(Sqrt(2), 1) zurück, in Klartextform und in LaTeX, und acosh(0.5) mit Div(Mul(NumberI, Pi), 3) — den benannten Wert, nicht das Feldelement, in dem er gespeichert ist.

Die geschlossene Form ist in der HTTP-API optional ("closed_form": true), weil das Beweisen einer solchen mehr kostet als das Lesen der Ziffern. Dieser Client fragt immer danach: die Ausgabe eines exakten Werts ist das, was sein Ausgabeschema versprich.

Tools

  • evaluate — wertet einen Ausdruck auf allen acht Engines aus und vergleichet. Unterstützt Arithmetik, Trionometrie (sin, cos, tan), exp/log (exp, ln, log), Wurzeln und Potenzen (sqrt, x^y), Fakultät, komplexe Zahlen (3+2i), alternative Basen (0xFF, 0b1010) und Konstanten (pi, e, Goldener Schnitt PHI).

  • list_functions — listet alle Funktionen auf, die die Engines bereitstellen (Name, Stelligkeit, Kategorie, Beschreibung). Optional nach Kategorie filtern.

Vergleiche bedeuten nicht auf jeder Engine dasselbe. Bei den einschließenden Engines sind !=, < und > erst wahr, wenn sie bewiesen sind; ==, <= und >= sind wahr, sobald sie nicht widerlegt sind. Ein wahres == ist dort kein Beweis der Gleichheit — calciu entscheidet das exakt — aber ein wahres != ist ein Beweis der Verschiedenheit.

Multiplikation muss explizit sein: schreibe 2*pi, 2*sin(x), (a+b)*(c+d). Blößes Nebeneinander ist kein Produkt (2pi ist ein Fehler). Ausdrücke sind rein mathematisch — keine Typkonvertierungen oder Konstruktoren; schreibe eine komplexe Zahl als 1+2i.

Einrichtung

  1. Hole dir einen kostenlosen API-Schlüssel unter https://ultimath.ai.

  2. Füge den Server zu deiner MCP-Client-Konfiguration hinzu (Beispiel für Claude Desktop):

{
  "mcpServers": {
    "ultimath": {
      "command": "npx",
      "args": ["-y", "ultimath-mcp"],
      "env": {
        "ULTIMATH_API_KEY": "your_api_key_here"
      }
    }
  }
}

Das war's — npx holt und startet den Server bei Bedarf.

Voraussetzungen

  • Node.js ≥ 18

  • Ein Ultimath-API-Schlüssel (ULTIMATH_API_KEY)

Unter der Haube

Die Engines von Ultimath bauen auf FLINT/Arb, Calcium, GMP/MPFR und MPFI auf — vollständige Credits unter https://ultimath.ai/credits.

Datenschutz

Ultimath speichert nur einen Hash deines API-Schlüssels und grundlegende Nutzungsmetriken, um den Dienst zu betreiben und abzusichern; Ausdrücke werden ausgewertet, nicht für das Training aufbewahrt. Vollständige Richtlinie: https://ultimath.ai/privacy/

Lizenz

MIT

A
license - permissive license
A
quality
A
maintenance

Maintenance

Maintainers
Response time
4wRelease cycle
3Releases (12mo)
Commit activity

Related MCP Servers

  • A
    license
    A
    quality
    A
    maintenance
    Pure-Python MCP server for type-faithful calculation — evaluate expressions under fixed-point, IEEE-754 double, or exact rational arithmetic, with every answer labelled with its precision (exact vs inexact).
    5
    1
    GPL 3.0
  • A
    license
    A
    quality
    C
    maintenance
    An MCP server that provides structural load and stability math (tipping, support reactions, beam checks) that language models often get wrong, enabling AI assistants to compute accurate engineering estimates.
    3
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    An MCP server that performs exact arithmetic calculations, avoiding the pitfalls of float64 and unsafe eval, with resource limits for safe execution.
    1
    MIT

View all related MCP servers

Related MCP Connectors

  • Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace

  • Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.

  • This MCP server enables users to perform scientific computations regarding linear algebra and vect…

View all MCP Connectors

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/Flupke68/ultimath-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server