MathKernel is a Python library and MCP server that enables advanced mathematics with preserved assumptions, provenance, and claim-specific evidence. It provides exact computation, checked certificates, symbolic results, certified enclosures, empirical evidence, and formal proofs.