theorem-labs/oss-verify-proofs
- Total stars
- 128
- Today
- +6since 13:51 UTC
More actions
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
Rocq proofs that OSS-Fuzz fuzz targets for 25 libraries (OpenSSL, zstd, simdjson, etc.) never trigger sanitizer errors on any input within stated limits, checked against compiled RISC-V binaries via the LPS Linux process model.
Useful for
- Check a specific proof locally with Rocq 9.2.0 to confirm a fuzz target is sanitizer-clean.
- Cite the agreement statement for a library like OpenSSL bignum in a security audit report.
- Compare which sanitizer builds (ASan, UBSan) are covered for a given entry point before relying on it.
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, 18:51 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), 13:51–18:41: 122 → 128 stars (+6). This is the change over that interval.
- Estimated end-of-day forecast: about +10 stars, using observed gains and the previous day.
- The repository is 2 days old and already has 128 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #199.
- Recent forks include notable developers: @gmh5225 (1,295 followers).
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
- 46
- October 23, 2026
- 62
Largest measured day in the last 30 days: 62 · 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, 18:50 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
- 128
- Today
- +6 stars measured 2026-10-24, 13:51–18:41 UTC, ≈ 10 by evening
- Forks
- 8
- Issues and pull requests
- 3
- Watchers
- 0
- Language
- Rocq Prover
- License
- MIT
- Latest release
- v2026.10.0-src · October 22, 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: #194
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/theorem-labs/oss-verify-proofs)