Start
Install, open Studio, and watch JacqOS block a dangerous AI action.
Install JacqOS, open Studio, and watch it contain an AI agent in 60 seconds. No API keys, no configuration.
Open Start →JacqOS Documentation
This is the builder path. If you are evaluating JacqOS as a buyer, use the top-level site first. If you are ready to build, start with a bundled demo, climb into the containment patterns, then move into build, foundations, and reference.
Not ready for docs yet?
Take the shorter evaluator path first.
If you are still deciding whether JacqOS fits, start with Why JacqOS, Trust, or Examples. Come back here when you are ready to install the binary, run the bundled demo, or build your first app.
Evaluator path Why JacqOS
The product story: failure modes, the boundary, and where JacqOS fits.
Explore → Evaluator path TrustGuarantees, non-guarantees, and the verification surfaces behind them.
Explore → Evaluator path ExamplesProof-first examples grouped by failure mode and industry.
Explore →Patterns
The two patterns that make AI agents safe — in practice, not in theory.
The two flagship containment patterns in depth: fallible sensors and LLM decision containment.
Open Patterns →Build
Scaffold a verified app in one command. Pattern-aware quickstarts.
Scaffold, edit, replay, verify, ship. Pattern-aware quickstarts and example walkthroughs.
Open Build →Foundations
Understand why the containment works. Voluntary, self-paced.
Why the containment works: observation-first model, candidate vs proposal, invariants, worldviews, model-theoretic foundations.
Open Foundations →Examples
Walkthroughs of the bundled flagship examples.
Walkthroughs of real agent apps — bundled first, advanced after.
Open Examples →Reference
CLI, config, and artifact reference.
CLI commands, jacqos.toml config, and artifact specifications.
Open Reference →