https://pypi.org/project/mathkernel/ Recent updates to the Python Package Index for mathkernel en https://pypi.org/project/mathkernel/1.3.0/ Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance — as a Python library and an MCP server Sun, 06 Sep 2026 23:47:18 GMT