Your agent ignores your rules.
crag makes them un-ignorable.
crag makes an agent's knowledge verified and its obedience compiled. Failures from real sessions become rules with proof — enforced in every request, in every agent, automatically.
demo scene — real mechanics
Every rule answers crag why with proof.
Rules files are advisory. The model's biggest failure is not reading them. So crag stopped relying on that.
Sources: Stack Overflow Developer Survey 2025/2026 · HackerRank AI report 2026 · arXiv:2606.13174 (TRACE)
The loop.
Capture
Failures are captured silently from real agent sessions.
Claims
Each capture is decomposed into atomic, falsifiable claims.
Verify
Every claim is checked against reality by re-running its falsifier.
Compile
Only claims that stay fresh compile into governance.
Enforce
Rules land in the files, hooks, and gateway every agent obeys.
Receipts
Every rule answers crag why with a full proof chain.
Trust is a number — the verified fraction of active claims. Rules whose evidence goes stale stop compiling. Nothing is deleted; everything answers why.
crag doesn't care which agent you run.
One governance source. Compiled to Claude Code, Codex, Cursor, Copilot + 20 more targets — and enforced at the gateway even when the harness has no hooks.
crag Gate: point your baseURLat it. That's the whole integration.
Memory tools remember. Linters check format. crag verifies your knowledge is true, then compiles it into enforcement.
Memory tools
Remember what happened. Recall depends on the model reading the right thing at the right time — compliance tops out around 42.5%.
Linters
Check that code is formatted correctly. They have no opinion on whether the agent’s knowledge is true.
crag
Verifies your knowledge is true, then compiles it into enforcement the model can’t skip past.
Point it at any GitHub repo.
See what your agents are actually working with — stale commands, missing gates, drift.