G github.com MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server 37 points staatsgeheim 1 month ago 5 comments
