Release ledger
ProofGit is the commercial code-intelligence product. BNLGit is its open-source foundation. The public source release is in preparation, not available for download today.
The setup CLI is published on npm under Apache-2.0. ProofMEM is its default: it signs you in to proofmem.com with Blue Note ID and writes an MCP config with no token in it. You can also sign in with Blue Note ID from the MCP settings of Claude Code, VS Code, Codex or Google Antigravity, or connect any other client with a ProofMEM API key. The setup steps are in the ProofMEM docs.
Available nowSource release in preparation under AGPL-3.0-or-later. There is no public clone or download until the release is complete.
In preparationProofGit is built on BNLGit, its open-source foundation; source and release status live at bnlgit.com. Commercial features, hosted service, support, and product documentation live at proofgit.com.
caveauMEM remains the internal governed-memory layer used within caveauAI. The standalone agent-memory product is ProofMEM.