# ProofGit

> ProofGit is hosted Git built on BNLGit, our open-source engine (source release planned under AGPL-3.0-or-later), which is built on Gitea. Pair a repository and ProofGit keeps a real Git mirror beside it with a typed, line-anchored .llm summary for every file; agents query it over MCP and get the summary plus the exact source lines at the recorded commit. Bring your own model keys; billed by repository and storage, not seats.

## Docs

- [Documentation](https://proofgit.com/docs/): Public documentation for ProofGit — Git hosting built on Gitea, with an AI-readable summary mirror beside every repository.
- [Getting started](https://proofgit.com/docs/getting-started): Your first ten minutes with ProofGit — sign in, save a provider key, pair a repository, generate summaries, and point an agent at it.
- [Coming from Gitea](https://proofgit.com/docs/coming-from-gitea): What changes when you move a repository from Gitea to ProofGit, and what deliberately does not change at all.
- [Connect your agent (MCP)](https://proofgit.com/docs/mcp): Point Claude Code or any MCP client at your ProofGit repositories and get answers cited to exact source lines at a pinned commit.
- [Set up your agent](https://proofgit.com/docs/agents): Copy-paste MCP setup for Claude Code, Codex and Cursor, the fleet endpoint, a curl check, and suggested lines for your AGENTS.md or CLAUDE.md.
- [The BNLRepo mirror model](https://proofgit.com/docs/bnlrepo-mirror-model): How ProofGit pairs a source repository with a generated summary mirror, what a summary contains, and how freshness is tracked.
- [Search](https://proofgit.com/docs/search): How ProofGit searches summaries and source, the trust ladder that ranks results, and exactly what vector retrieval does and does not do today.
- [Repo scope (skip policy)](https://proofgit.com/docs/repo-scope): Which files of a paired repository ProofGit summarizes, indexes and returns from code search — the shipped presets, your deny patterns, and the allow patterns that override both.
- [BYOK connections and security](https://proofgit.com/docs/byok-connections): Bringing your own LLM and Git provider keys to ProofGit, how those secrets are protected at rest, and how outbound requests are restricted.
- [Model bake-off](https://proofgit.com/docs/model-bakeoff): Compare two BYOK models on your own code — latency, tokens, cost and quality signals — without changing anything.
- [AI repo cleaner and steward](https://proofgit.com/docs/repo-cleaner): Evidence-backed, proposal-only cleanup for a BNLRepo. It never writes to your repository and can never target your default branch.
- [Repo hygiene scan](https://proofgit.com/docs/repo-hygiene-scan): A deterministic, read-only scan of any repository for tracked files that look committed by accident and for byte-identical duplicates. No model call and no writes.
- [Managed worker and spend controls](https://proofgit.com/docs/worker-and-spend): How background summary generation is budgeted — informed consent, concurrency limits, and three independent cost ceilings that all default to bounded values.
- [API reference](https://proofgit.com/docs/api): The ProofGit REST endpoints added on top of Gitea's own API — pairing, summary jobs, bake-offs, cleanup plans, MCP and capabilities.
- [CLI reference](https://proofgit.com/docs/cli): The bnlgit command line — summary generation, the managed worker, bake-offs, and licence tooling.
- [Editions and capabilities](https://proofgit.com/docs/editions): ProofGit is the hosted product, built on the open-source BNLGit engine. How to ask the running service what it has switched on, and the exact feature flags it reports.
- [Billing and trial terms](https://proofgit.com/docs/billing): What the ProofGit trial costs, when your card is first charged, what happens if a payment fails, and what happens to your repositories if you cancel.
- [Security and data handling](https://proofgit.com/docs/security): What ProofGit stores, what leaves the service, how your provider keys are protected, and what the shared beta forge does and does not isolate.

## Optional

- [Pricing](https://proofgit.com/pricing): ProofGit hosted beta: three plans from $12 per month, billed as a metered credit wallet. 14-day free trial, card required at signup. Bring your own LLM keys — we never bill you for tokens.
- [Terms of service](https://proofgit.com/terms): Terms of Service for the hosted ProofGit public beta, including trial and card-on-file terms, acceptable use, data retention and liability.
- [Privacy policy](https://proofgit.com/privacy): What personal data the hosted ProofGit service collects, why, who it is shared with, how long it is kept, and your rights under the GDPR.