Thanks for your interest in Verifiable Labs.
- Open an issue before large changes; small fixes can go straight to a PR.
- All contributions are licensed under Apache-2.0.
- PRs must pass CI and keep the public/private boundary intact: no hidden evaluation content, gold answers, anti-hack detection details, customer data, or secrets may be added to public repositories.
- Claims about formal verification are restricted to the project's approved wording; PRs that broaden those claims will be asked to reword.