MathKernel: un kernel matemático para LLMs que distingue entre evidencia exacta, simbólica y formal

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

MathKernel es una biblioteca Python y servidor MCP que permite a los LLMs realizar matemáticas avanzadas con trazabilidad completa. En lugar de un único solucionador, orquesta múltiples motores (exactos, simbólicos, formales, numéricos certificados) y etiqueta cada resultado con un nivel de confianza, el motor utilizado y una cadena de derivación. Así, una comprobación exacta no se presenta como una prueba formal, y la ascendencia de entrada aproximada nunca desaparece silenciosamente. Incluye desde álgebra simbólica y cálculo hasta teoría de grafos, probabilidad, PDEs y topología algebraica, con verificación mediante certificados y pruebas formales.