openmathmodel/open-math-harness
- Total stars
- 127
- Today · UTC
- +1since 00:03 UTC
More actions
The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
The open-source runtime of Open Math OS for collaborative math research: runs agents on open models, parallel proof search and Lean-checked verification. Written in Rust, requires Linux and bubblewrap.
Useful for
- Build the runtime from source with cargo to study its architecture
- Run the small self-contained example included in the repository
- Study the implementation of the capability-based microkernel and agent confinement
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 24, 2026, 00:55 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
- Star-counter measurements on 2026-10-24 (UTC), 00:03–00:44: 126 → 127 stars (+1). This is the change over that interval.
- Estimated end-of-day forecast: about +97 stars, using observed gains and the previous day.
- The repository is 2 days old and already has 127 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #177.
- About 21 forks a day — people are taking the code.
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 17, 2026
- —
- October 18, 2026
- —
- October 19, 2026
- —
- October 20, 2026
- —
- October 21, 2026
- —
- October 22, 2026
- 24
- October 23, 2026
- 103
Largest measured day in the last 30 days: 103 · October 23, 2026. Days with data: 2.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 24, 2026, 00:54 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
- 127
- Today
- +1 star measured 2026-10-24, 00:03–00:44 UTC, ≈ 97 by evening
- Forks
- 13
- Issues and pull requests
- 3
- Watchers
- 0
- Language
- Rust
- License
- Apache-2.0
- Latest release
- v0.41.0 · October 23, 2026
- Created
- October 22, 2026
- Last push
- October 23, 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.
Spotted in
- October 24, 2026Top new repositories this week: #177
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/openmathmodel/open-math-harness)