Guides, core concepts, and the full CLI reference. New here? Start with the introduction, jump straight into getting started, or use search (top right) to look anything up.
Jump to any part of the documentation.
What Subak is, the problem it solves, and how artifacts, the workflow DAG, and subak validate fit together.
Read the overviewInstall the CLI, sign in, create a project, and author your first artifacts — from zero to a validated project in under an hour.
Install & set upArtifacts and the dependency DAG, how validation and the proof certificate work, and the workflow that ties them together.
How it worksEvery command for projects, artifacts, and subak validate, plus how Subak plugs into Claude Code, Cursor, and other agents.
Browse commandsWhy a justified, attributable, replayable proof beats a pile of green checkmarks — and lets agents run longer, unsupervised.
The argument