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

[skybrian]

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?