theorem-labs / oss-verify

git clone https://github.com/theorem-labs/oss-verify.git

OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets

—

stars, 24h

+53

stars, 7 days · #4,052

+53

stars, 30 days · #12,170

★ total · +53% this week

forks · 5 open issues

Star history starts 2026-10-24; the chart appears after the second daily snapshot.

LanguageShell

LicenseApache-2.0

Created2026-10-22 (2d ago)

Last pushtoday

OwnerOrganization

Loading README…