Staatsgeheim/MathKernel

MathKernel is a Python runtime enabling exact, symbolic, and certified-interval mathematics for large language models. It introduces a typed MathIR with trust labels and full provenance tracking. The repository provides installation instructions and usage examples for integrating formal computation capabilities into AI applications. Independent validation of accuracy claims is absent.