Repository orientation
Push, import, or configure mirroring, then bring files, symbols, history, and surrounding context into view.
04 / Code intelligence
Available now
Your codebase, explained with proof.
ProofGit turns Git repositories into versioned, inspectable context for engineers and coding agents, with every useful answer traceable to source.
A Blue Note Logic product · Available now
Where it fits
Choose it for a recognisable workflow.
Choose ProofGit when an engineer or coding agent needs to understand a codebase before changing it, regardless of whether its history comes from GitHub, GitLab, Gitea, or another reachable Git URL.
Evidence-backed change
Ground proposed work in SHA-pinned citations and exact source lines instead of a plausible reconstruction.
Fleet visibility
See summary freshness, coverage, spend controls, and repository hygiene across the systems a team owns.
How control works
Useful automation needs a visible boundary.
ProofGit improves the evidence available to a coding workflow; it does not turn an agent’s proposal into authority to merge.
-
Evidence
Begin with repository source.
Context comes from the code and its relationships rather than an unsupported recollection.
-
Proposal
Make the reasoning inspectable.
The workflow can return the source context that led to a suggested change.
-
Authority
Keep engineering review intact.
Tests, review, and merge controls remain the decision boundary for production code.
Available through Caveau Harness
ProofMEM remembers why.ProofGit proves what.
Through Caveau Harness, current repository evidence and approved intent can enter the same task as separate, clearly labelled authorities.
ProofGit
ProofGit supplies current repository explanations, exact source lines, paths, trust status, and commit-pinned evidence URLs.
ProofMEM
ProofMEM supplies approved objectives, constraints, decisions, and lessons. It may retain source pointers after explicit acceptance, never copied source lines or full evidence bundles.
Place in the family
ProofGit is built on BNLGit, its open-source foundation.
ProofGit is the available hosted product for teams that want operated code intelligence and a supported product experience.
BNLGit is the open-source foundation of ProofGit; source and release status live at bnlgit.com.
Source release in preparation · AGPL-3.0-or-later
Visit BNLGit open sourceStart with the work
Bring one workflow and the evidence behind it.
We will map the source material, responsible person, and approval boundary before recommending a product.