# theorem-labs/oss-verify-proofs

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

- Magnitude: 4.3 out of 10 — Early signal
- Stars: 128 total · +6 stars measured 2026-10-24, 13:51–18:41 UTC, ≈ 10 by evening
- Star trust: star growth looks organic
- Category: Security · Language: Rocq Prover · License: MIT · Created: 2026-10-22 · Last push: 2026-10-23
- GitHub: https://github.com/theorem-labs/oss-verify-proofs · Homepage: https://theorem.dev/oss-verify/ · Page: https://gitnova.dev/en/r/theorem-labs/oss-verify-proofs

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

## Why it’s here

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

## 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: 8
- Issues and pull requests: 3
- Watchers: 0
- Average over the last week: 39 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 1
- Latest release: v2026.10.0-src (2026-10-22)

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

2026-10-22 … 2026-10-24: 46, 62, 6

## Spotted in now

- Top new repositories this week: #199

## More in this category

1. **EthanArbuckle/fairplay-decrypt** — 8.1 · Breakout · Security · C · +353 stars measured 2026-10-24, 00:03–18:40 UTC, ≈ 474 by evening
   Tool for offline decryption of FairPlay-protected App Store IPAs: retrieves a 16-byte credential from a jailbroken device and decrypts arm64 Mach-O pages. Runs on macOS and Linux.
   Full card: https://gitnova.dev/en/r/EthanArbuckle/fairplay-decrypt.md
2. **anthropics/sandbox-runtime** — 6.7 · Breakout · Security · TypeScript · +156 stars measured 2026-10-24, 11:39–18:40 UTC, ≈ 209 by evening
   A lightweight sandboxing tool that enforces filesystem, network and Unix socket restrictions on arbitrary processes at the OS level without containers, using sandbox-exec, bubblewrap and proxies.
   Full card: https://gitnova.dev/en/r/anthropics/sandbox-runtime.md
3. **cloudflare/security-audit-skill** — 6.4 · Breakout · Security · JavaScript · +1,797 stars measured 2026-10-24, 00:03–18:40 UTC, ≈ 2,297 by evening
   A coding-agent skill that turns the agent into a security auditor, running a multi-phase code audit with independently verified, machine-readable findings.
   Full card: https://gitnova.dev/en/r/cloudflare/security-audit-skill.md
4. **assetnote/php2shell-scanner** — 6.3 · Early signal · Security · Python · +179 stars measured 2026-10-24, 00:03–18:41 UTC, ≈ 224 by evening
   Python CLI scanner for detecting php2shell vulnerabilities (CVE-2026-109618 and CVE-2026-109619) in PHP applications. It sends multipart probes and flags targets based on memory-exhaustion errors, PHP-FPM worker failures, or known…
   Full card: https://gitnova.dev/en/r/assetnote/php2shell-scanner.md
5. **openai/php2shell-checker** — 6.0 · Early signal · Security · JavaScript · +213 stars measured 2026-10-24, 00:03–18:41 UTC, ≈ 278 by evening
   A Node.js CLI that checks a website's PHP version via HTTP headers or a local php -v binary for vulnerability to php2shell. Returns OK, VULNERABLE, or UNKNOWN with matching exit codes.
   Full card: https://gitnova.dev/en/r/openai/php2shell-checker.md

---

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-10-24 18:51 UTC, updated every 30 minutes.