Slow and sure, or fast and blind.
You could prove every line and miss the window. You could ship by Friday and spend the next quarter finding out what you shipped.
Then AI made everyone fast.
It made no one sure.
A model will write you anything. It will also invent a capability that does not exist, quietly reverse a decision it made three steps ago, forget which constraint was binding, and hand you all of it in the same even, confident voice as the parts it got right.
You will not catch that by reading. The output is written to read as though someone already had.
So we stopped asking the maker to grade its own work.
Praxis is a proprietary agentic framework. It is the independent layer that proves AI-produced work, whatever the work is and whatever model made it.
Documents. Code. Analysis. Artifacts. One standard of proof across all of them.
Praxis is not one pipeline and it is not one deliverable. Those are what get built on top of it. CRAFT is the first.
The speed of AI. The proof it never had.
Anti-vibe coding is the discipline, and CRAFT is that discipline made executable. One pipeline, five stages, and the same spec running through every one.
| C | Capture | A rough ask becomes a spec you can read and check. Anything vague gets named as vague. |
| R | Rehearse | The spec becomes checks that decide pass or fail, before a line is written. |
| A | Author | Code gets written against the spec and reviewed as it is written. |
| F | Field | It goes live under rules read straight from the spec. |
| T | Track | Every target you set at Capture gets a live signal in production. |
Give it a rough ask. Get back a spec you can audit, and code that answers to it.
A river runs fast because it has banks. Take them away and you get a swamp.
| The maker | Agentic. It makes the work and checks itself as it goes, against the spec and against what was actually asked. The honest first pass, and it cannot see its own blind spots. |
| The pilot | It re-checks every step against the spec. Not a second opinion, but a re-derivation, and it cannot be argued with. It passes nothing it cannot tie back to the spec. |
| The watcher | Outside the system entirely. It answers to the spec, not to the pilot, and re-derives the result from scratch. It is not persuaded by a pass it did not compute. |
Take any one away and the proof collapses. That is the point of there being three.
Praxis is not a wrapper around somebody else's agent. It is not a prompt library and it is not a linter with ambitions.
The maker is swappable, frontier or open weight, hosted or on hardware you own, because the checking was built here and holds no model inside it. Change the model and the proof does not move.
Praxis is closed source and access-gated. This organization hosts public documentation. The code is private.