Documentation hub¶
Welcome to the VeriLib documentation hub — the open-source library for formally verified code and tools for proving that code meets your specifications.
What is VeriLib?¶
VeriLib is a free open-source library of formally verified code. It helps developers and researchers share verified implementations, track verification progress, and build trust through mathematical proof.
Quick links¶
| I want to… | Start here |
|---|---|
| Get running in minutes | Quick start |
| Understand the platform | System map |
| Use the CLI | Scripts and CLI |
| Learn verification terms | Glossary |
| Contribute | First contribution |
Platform components¶
| Component | Repo | Role |
|---|---|---|
| Frontend | verilib-frontend | Web UI at verilib.org |
| CLI | verilib-cli | Local repo and verification workflow |
| Atomizer | verilib-atomizer | Server-side atomization pipeline |
| Certificates | local_validate | Certificate validation worker |
The Beneficial AI Foundation organization also hosts science-team repositories (probe tools, benchmarks, verification projects). Those are documented in their own repos; this hub covers the VeriLib platform.
Documentation model¶
Each component repo owns its detailed README.md. This site is the index — it links to every module and organizes content in one place. See How to write docs for the hub-and-spoke convention.