Ultimath
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 |
| 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. |
| Ihre eigene Fehlerschranke deckt die ersten |
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 SchnittPHI).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 (2piist ein Fehler). Ausdrücke sind rein mathematisch — keine Typkonvertierungen oder Konstruktoren; schreibe eine komplexe Zahl als1+2i.
Einrichtung
Hole dir einen kostenlosen API-Schlüssel unter https://ultimath.ai.
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)
Links
Website: https://ultimath.ai
Quelcode: https://github.com/Flupke68/ultimath-mcp
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
Maintenance
Tools
Related MCP Servers
- AlicenseAqualityDmaintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.62Apache 2.0
- AlicenseAqualityAmaintenancePure-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).51GPL 3.0
- AlicenseAqualityCmaintenanceAn 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.3MIT
- AlicenseAqualityAmaintenanceAn MCP server that performs exact arithmetic calculations, avoiding the pitfalls of float64 and unsafe eval, with resource limits for safe execution.1MIT
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…
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
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