It contains theorem statements about OSS-Fuzz fuzz targets compiled as RISC-V binaries, together with machine-checked Rocq proofs and associated repository materials.
The release covers three agreement statements: asan_agrees, ubsan_agrees, and asan_ubsan_agrees. The repository says the proofs apply to 60 OSS-Fuzz entry points and provides a build record for each. It also includes the oft proof-checking tool, pinned toolchain versions, release metadata, tests, and documentation describing how to check a proof.
The public archive is available through GitHub under the theorem-labs organization. The source does not establish that every OSS-Fuzz project, target, or execution path is covered. It does not claim that the covered programs contain no vulnerabilities, report independently audited proof results, or provide evidence about effects on real-world security incidents. The published material instead documents the stated proof scope, build records, and checking environment for this release.