oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Visit website ↗ Source listing ↗
GITHUB · launched Oct 22, 2026 · 79 upvotes (top 18%)
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
- formal-verification
- fuzzing
- oss-fuzz
- proofs
- riscv
- rocq
Similar launches
See all 1897 similar launches →Could you build this?
No The product is machine-checked formal verification of binaries, with Rocq proofs over RISC-V code. This requires research-level formal methods expertise that vibe coding cannot substitute for.
What it would actually take: A real version needs a binary lifter or RISC-V semantics, a proof assistant such as Rocq, and automated tooling that generates proofs about fuzz target behavior. It also needs researchers who can design the specification and proof strategy, which is novel research work rather than app development.
Competitors
Other products that read as similar to this one : 1897 launches clear the similarity bar, closest 8 shown.
Attention rank: #369 of 1898 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 356 days after the earliest competitor.
- oss-verify · github · 2026-10-22 · 41 upvotes · similarity 0.84
- Salt · hn · 2026-07-01 · 44 upvotes · similarity 0.65
- rocq-linux-process-semantics · github · 2026-10-19 · 23 upvotes · similarity 0.62
- blackbox · github · 2026-09-23 · 14 upvotes · similarity 0.61
- krypton-16 · github · 2026-10-01 · 8 upvotes · similarity 0.60
- genpark-hoare-logic-axiomatic-verifier-skill · github · 2026-09-28 · 7 upvotes · similarity 0.59
- vearl · github · 2026-10-10 · 15 upvotes · similarity 0.58
- sgs-proof · github · 2026-10-11 · 10 upvotes · similarity 0.58
Other launches for this product
- No other launches for this product.
More details
- External ID
- 1430054678
- Company
- n/a
- Product
- oss-verify-proofs
- Website domain
- theorem.dev
- Cohort
- n/a
- Upvotes percentile
- 0.82
- All tags
- formal-verification, fuzzing, oss-fuzz, proofs, riscv, rocq
- AI summary
- machine-checked proofs about fuzz targets compiled to risc-v
- Manually corrected
- No