Descubre las Mejores Herramientas de IA

Ofrece cálculo simbólico y numérico, comprobación de afirmaciones y gráficos SVG a agentes de IA mediante MCP o CLI. Requiere Node.js y expresiones compatibles; las comprobaciones algebraicas no constituyen pruebas formales generales.

mcp-gnu-units convierte unidades dimensionales y busca definiciones sin conexión con una base GNU Units incluida y motor Python. Es una versión preliminar desde código fuente, no publicada en PyPI, bajo GPL-3.0-or-later. La cobertura depende del motor y definiciones incluidas.

gnomon-mcp calcula por lotes fechas, zonas horarias, matemáticas, estadísticas y unidades mediante Python MCP. Los días laborables son de lunes a viernes sin festivos regionales. Fechas en lenguaje natural y unidades siguen necesitando entradas inequívocas.

Polymath MegaBlaster MCP calcula localmente expresiones, estadísticas, fechas, unidades, subredes y tokens con Node.js, sin clave API. La precisión y cobertura del tokenizador dependen de la operación; la distancia geográfica usa un modelo terrestre, no una medición exacta.

Mathlas ofrece comprobaciones numéricas, identificación de constantes y secuencias, búsqueda de teoremas y revisión de pruebas Lean. No incluye un LLM interno; algunas funciones necesitan OEIS local o Lean y la búsqueda puede usar servicios externos.

MathMethods MCP ofrece a clientes IA métodos numéricos de raíces, integración, derivación, interpolación y ecuaciones diferenciales. Produce aproximaciones según las condiciones de cada método, sin pruebas simbólicas ni convergencia garantizada.

mcp-abacus ofrece evaluación, resolución numérica y ajuste de curvas por MCP en modos fijo, flotante, racional o complejo, con información de precisión. Las operaciones varían por modo y algoritmo; una etiqueta exacta no valida la fórmula introducida ni sus supuestos.

Asistente de modelo de lenguaje para la demostración de teoremas en Lean.

Demostrador de teoremas geométricos que combina un modelo de lenguaje con un motor de deducción simbólica.

Un servidor MCP educativo para operaciones matemáticas, estadísticas, visualización y espacios de trabajo persistentes.