# Staatsgeheim/MathKernel

> 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.

- Magnitude: 0.1 out of 10 — Quiet
- Stars: 58 total · +0 stars on 2026-09-24 (UTC), ≈ 0 by evening
- Star trust: star growth looks organic
- Category: Language models · Language: Python · License: MIT · Created: 2026-09-06 · Last push: 2026-09-15
- GitHub: https://github.com/Staatsgeheim/MathKernel · Page: https://gitnova.dev/en/r/Staatsgeheim/MathKernel

## 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

## Why it’s here

- 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.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 3
- Issues and pull requests: 1
- Watchers: 0
- Average over the last week: 0 per day
- Usual pace: 2 per day
- Latest release: v1.3.1.dev3 (2026-09-15)

## Stars per day, last 30 days (oldest → newest, today is partial)

2026-09-30 … 2026-10-29: None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None, None

## Magnitude by day, last 12 days

09-13 0.4, 09-14 0.3, 09-15 0.3, 09-16 0.2, 09-17 0.2, 09-18 0.2, 09-19 0.1, 09-20 0.1, 09-21 0.1, 09-22 0.1, 09-23 0.1, 09-24 0.1

## Hacker News

- MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server — 37 points, 5 comments: https://news.ycombinator.com/item?id=49592366

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-09-24 00:44 UTC, updated every 30 minutes.