# Veripoint > Agents drift. Veripoint rewinds. A protocol layer for AI agents: verify every chunk of > work with hard gates, checkpoint proven progress to a hash-chained SQLite ledger > outside the model's memory, and rewind clean when context drifts. Veripoint is open source (Apache-2.0), zero runtime dependencies (Python stdlib only), local-first with no telemetry, and ships an MCP server for Claude Code / Cursor. Python >= 3.10, POSIX platforms in v1 (Windows via WSL). ## Install pip install veripoint Or from source: `git clone https://github.com/feruzkarimovv/veripoint && cd veripoint && pip install -e .` ## Core loop RESTORE last verified state -> BRIEF a fresh attempt from clean notes -> EXECUTE one budgeted attempt -> VERIFY all gates -> COMMIT checkpoint, or REJECT: quarantine the failure signature and rewind. Budgets fail closed; sessions end honestly FAILED with evidence rather than shipping plausible wrong answers. ## Key facts - Micro-benchmark: baseline shipped silently wrong output 20/25 runs; under Veripoint, 25/25 recovered correct verified output; 0 wrong outputs ever accepted. - Deterministic scripted-agent benchmark — measures protocol mechanics, not model quality. - 157 tests cover ledger tamper-detection, gate semantics, rewind guarantees, DAG isolation. - Real demo session: `make demo` reproduces the q3-report run offline. - This page verifies itself: the footer runs a doctor that SHA-256 hashes each section into a chained ledger, live, with the same semantics as the product. ## Pages - [Home](index.html): hero protocol console, live ledger replay, benchmark figure, attempt-cycle diagram, terminal evidence, dashboard mock, comparison matrix, limits, terms, self-verifying title block. - [Docs](docs.html): quickstart, concepts, gates reference, drivers, CLI reference, integrations, benchmark methodology, API surface. ## Links - GitHub: https://github.com/feruzkarimovv/veripoint - Changelog: https://github.com/feruzkarimovv/veripoint/blob/main/CHANGELOG.md - Security policy: https://github.com/feruzkarimovv/veripoint/blob/main/SECURITY.md