Public when it is public
The source tree is being prepared for release. Until that work is complete, we will not present a clone button or imply that code can already be downloaded.
BNLGit is where the foundation’s source, licence, and release status will live. ProofGit is the commercial code-intelligence product and hosted experience built on that foundation.
This site no longer presents BNLGit as a hosted commercial service. It records the open-source project’s direction honestly while commercial plans, product documentation, sign-in, and customer workflows live with ProofGit.
The source tree is being prepared for release. Until that work is complete, we will not present a clone button or imply that code can already be downloaded.
The planned foundation release is AGPL-3.0-or-later. The release-status page is the canonical place to check what has actually shipped.
ProofGit carries the hosted experience, managed service, commercial roadmap, pricing, and customer support.
Follow the release status, licence, and edition boundary here. The source release is still in preparation.
Read the release and edition status →For the available hosted product, technical documentation, self-service plans, and commercial conversations, continue to ProofGit.
Visit proofgit.com