MathKernel is an evidence-aware multi-engine mathematics kernel available as a Python library and as the MCP server mathkernel-mcp, which exposes 162 tools prefixed math_ over stdio. The kernel assigns results a trust level, engine tag, and derivation trail, distinguishing exact computation, checked certificates, certified enclosures, and formal proofs. Lean 4 with Mathlib installs by default on first server start, and optional extras add GPU support via CuPy and JIT kernels via numba.
No score is assigned. Sources and their independence are shown in the citation chain below.