BNLGit
Open-source foundation

BNLGit is the open-source foundation of ProofGit.

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.

Source release in preparation · AGPL-3.0-or-later
What belongs here

A clear boundary between foundation and product.

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.

01 · SOURCE

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.

02 · LICENCE

AGPL foundation

The planned foundation release is AGPL-3.0-or-later. The release-status page is the canonical place to check what has actually shipped.

03 · PRODUCT

ProofGit for commercial use

ProofGit carries the hosted experience, managed service, commercial roadmap, pricing, and customer support.

ProofGit · available now

Commercial code intelligence

For the available hosted product, technical documentation, self-service plans, and commercial conversations, continue to ProofGit.

Visit proofgit.com