MathKernel es una biblioteca de Python y servidor MCP (protocolo de contexto para modelos) que actúa como núcleo matemático multi-motor diseñado para que los modelos de lenguaje de gran tamaño (LLM, por sus siglas en inglés) puedan realizar cálculos avanzados sin sacrificar el rigor. La herramienta resuelve un problema clave: los LLM interpretan bien la intención matemática, pero cometen errores aritméticos con frecuencia. MathKernel invierte esa división del trabajo: el modelo parsea, planifica e interpreta, mientras que el kernel calcula y registra evidencia específica para cada afirmación.
A diferencia de un solucionador único, MathKernel es una capa de orquestación tipada que integra motores simbólicos (SymPy), de cálculo exacto, certificado, formal (Z3 y Lean) y numérico (mpmath). Cada resultado matemático lleva asociado un nivel de confianza explícito, una etiqueta de motor y un rastro de derivación, de modo que el sistema distingue entre cálculos exactos, certificados verificados, resultados simbólicos, envolventes certificadas, evidencia empírica y pruebas formales.
El proyecto cubre áreas como álgebra simbólica, cálculo, análisis complejo, probabilidad continua, grafos exactos, combinatoria, álgebra finita, álgebra lineal, certificación numérica, factorización de enteros, cuerpos finitos y detección de relaciones conectadas. Además, incluye módulos de razonamiento con planificación basada en grafos de obligaciones y generación de código en TypeScript, Python y Rust con verificación simbólica. El sistema también incorpora capas de presentación, como visualización y sonificación, que pueden mostrar la evidencia sin alterarla.