Home
Skills
MCPs
Install
staatsgeheim
GitHub
1 server
mathkernel
staatsgeheim
58
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
← All servers
Search skills and MCP servers
Fuzzy search across 23,137 skills and servers
