Staatsgeheim/MathKernel
- Total stars
- 58
- Today
- +0
More actions
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
Evidence-aware multi-engine mathematics kernel for LLMs (SymPy, Z3, Lean, mpmath) that computes exactly, symbolically, formally and in certified intervals while tracking trust levels and provenance. Usable as a Python library and as an MCP server.
Useful for
- Connect the MCP server to an LLM so the model computes math instead of hallucinating answers
- Verify symbolic or formal derivations while keeping the provenance trail
- Get certified interval enclosures for arbitrary-precision numerical computations
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of September 24, 2026, 00:44 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- The repository is 18 days old and already has 58 stars.
- Hacker News: “MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server” — 37 points, 17 days ago.
Measured growth: the last 7 completed days
The full 7-day window is unavailable; no weekly total or comparison is calculated.
Daily measurements · UTC
- October 22, 2026
- —
- October 23, 2026
- —
- October 24, 2026
- —
- October 25, 2026
- —
- October 26, 2026
- —
- October 27, 2026
- —
- October 28, 2026
- —
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: September 24, 2026, 00:44 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 58
- Today
- +0 stars on 2026-09-24 (UTC), ≈ 0 by evening
- Forks
- 3
- Issues and pull requests
- 1
- Watchers
- 0
- Language
- Python
- License
- MIT
- Latest release
- v1.3.1.dev3 · September 15, 2026
- Created
- September 6, 2026
- Last push
- September 15, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server37 points, September 7, 2026
Spotted in
- September 14, 2026Spotted on Hacker News
- September 13, 2026Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/Staatsgeheim/MathKernel)