MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

As a side note, the name "MathKernel" is overloaded -- that's what Mathematica's own kernel executable is called, which is a little unfortunate when you have tooling that already refers to it.

Though it has all the signs of being AI-generated, this looks like a pretty interesting project. But by itself, it seems sort of like a game engine without a game. Have you done something interesting with it?