Repo list¶
Public index of VeriLib platform repositories. For the full organization inventory, see the internal Server list on the internal docs site.
Platform repositories¶
| Repository | Component | Description |
|---|---|---|
| verilib-cli | CLI | Public Rust CLI: auth, init, deploy/pull, create/atomize/specify/verify |
| verilib-frontend | UX & API | PHP/MySQL web app + React graph UI; enqueues upload/atomize/validate |
| verilib-atomizer | Processor | Upload/atomize RabbitMQ workers; probe plugins; S3 + MySQL atoms |
| local_validate | Certificates | Probe Docker images + DB-free validate/promote workers |
| VeriLib-Docs | Documentation | This MkDocs hub |
Directly referenced by the platform¶
Not platform repos, but the platform depends on them and this hub documents the interface:
| Repository | Role | Hub page |
|---|---|---|
| probe | Schema 3.0 interchange contract, JSON Schema, merge / enrich / summary, probe-extract-check |
Probe ecosystem |
| probe-verus, probe-lean, probe-aeneas, probe-rust | The four extract probes | Probe ecosystem |
| probe-leanblueprint | Blueprint enrichment layer over probe-lean (statement/proof progress) |
Probe ecosystem |
| eth_certify | Certify.sol + certify_cli — the on-chain anchor |
Certify contract |
| veritooling | Reusable Lean 4 CI actions: sorry-delta, specs-delta, PR comment | Verification in CI |
| installers_for_various_tools | Verus / analyzer / SCIP installers for local probe mode | CLI structure commands |
Programs¶
| Repository | Role | Hub page |
|---|---|---|
| signal-shot | Verifying the Signal protocol and app in Lean | Signal Shot |
Organization¶
All under Beneficial-AI-Foundation, which hosts well over a hundred repositories. Science-team verification projects, benchmarks, and research prototypes are documented in their own READMEs and are deliberately not indexed here — this hub covers the VeriLib platform and the interfaces it depends on.