Ultimath MCP

Deja de alucinar números. Un servidor MCP que ejecuta cada expresión matemática a través de ocho motores independientes en paralelo — simbólico exacto, aritmética de bolas, intervalo, tres flotantes de precisión arbitraria distintos, simbólico diferido e IEEE 754, cada uno con sus propios modos de fallo — y devuelve las ocho lecturas lado a lado, de modo que cuando discrepan sabes que la respuesta no es numéricamente fiable.

Lo que respalda cada motor

Leer ocho números es solo la mitad de la respuesta. Cada motor indica también hasta qué punto respalda el suyo — y las tres respuestas no son grados de una misma escala:

Esa última fila no es 0, y es la razón por la que existen los demás motores. Cinco de los ocho están ahí por construcción.

En exp(pi*sqrt(163)) - 262537412640768744, un motor imprime 63 dígitos, de los cuales 34 son correctos — y no dice nada al respecto. Otros dos demuestran 33 y se detienen. Uno mantiene el valor exacto. Leer solo los ocho números no te diría cuál era cuál.

Ningún motor es consultado jamás sobre otro: cada afirmación es sobre sí mismo.

Related MCP server: mcp-abacus

El motor exacto

calcium decide una igualdad en lugar de comparar dígitos, alcanza polos que los demás solo aproximan (tan(pi/2) es uinf), y cuando los dígitos impresos son solo una truncación devuelve también la forma cerrada — sqrt(2)+1 regresa con Add(Sqrt(2), 1), en forma textual y en LaTeX, y acosh(0.5) con Div(Mul(NumberI, Pi), 3) — el valor nombrado, no el elemento de cuerpo en el que está almacenado.

La forma cerrada es de activación opcional en la API HTTP ("closed_form": true) porque demostrar una cuesta más que leer los dígitos. Este cliente siempre la solicita: citar un valor exacto es lo que promete su esquema de salida.

Herramientas

• evaluate — evalúa una expresión en los ocho motores y compara. Admite aritmética, trigonometría (sin, cos, tan), exp/log (exp, ln, log), raíces y potencias (sqrt, x^y), factorial, números complejos (3+2i), bases alternativas (0xFF, 0b1010) y constantes (pi, e, razón áurea PHI).

• list_functions — lista todas las funciones que exponen los motores (nombre, aridad, categoría, descripción). Opcionalmente filtra por categoría.

Las comparaciones no significan lo mismo en todos los motores. En los motores de encerramiento, !=, < y > solo son verdaderos una vez demostrados; ==, <= y >= son verdaderos en cuanto no están refutados. Un == verdadero allí no es una prueba de igualdad — calcium decide eso exactamente — pero un != verdadero es una prueba de diferencia.

La multiplicación debe ser explícita: escribe 2*pi, 2*sin(x), (a+b)*(c+d). La yuxtaposición no es un producto (2pi es un error). Las expresiones son puramente matemáticas — sin conversiones de tipo ni constructores; escribe un número complejo como 1+2i.

Configuración

1. Obtén una clave de API gratuita en https://ultimath.ai.

2. Añade el servidor a la configuración de tu cliente MCP (ejemplo para Claude Desktop):

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

Eso es todo: npx descarga y ejecuta el servidor bajo demanda.

Requisitos

• Node.js ≥ 18

• Una clave de API de Ultimath (ULTIMATH_API_KEY)

Enlaces

• Sitio web: https://ultimath.ai

• Código fuente: https://github.com/Flupke68/ultimath-mcp

Bajo el capó

Los motores de Ultimath se construyen sobre FLINT/Arb, Calcium, GMP/MPFR y MPFI — créditos completos en https://ultimath.ai/credits.

Privacidad

Ultimath almacena solo un hash de tu clave de API y métricas básicas de uso para operar y asegurar el servicio; las expresiones se evalúan, no se conservan para entrenamiento. Política completa: https://ultimath.ai/privacy/

Licencia

MIT