An evidence-aware multi-engine mathematics kernel — usable both as a Python library (mathkernel) and as an MCP server (mathkernel-mcp) — so applications and LLMs can do advanced mathematics while preserving assumptions, provenance, and claim-specific evidence. Mathematical results carry an explicit trust level, an engine tag, and a derivation trail. Exact computation, checked certificates, ...