CLI Usage

The intent CLI provides commands for checking, rendering, compiling, and verifying IntentLang specs.

intent <command> <file>

Commands

CommandDescription
check <file>Parse, type-check, and validate constraints
render <file>Render spec to Markdown
render-html <file>Render spec to self-contained styled HTML
compile <file>Compile spec to Agent IR (JSON)
verify <file>Verify structural + logical correctness
verify --incremental <file>Incremental verification (cache, re-verify only changes)
audit <file>Show audit trace map (spec to IR)
coverage <file>Show coverage summary
diff <old> <new>Spec-level diff between two versions
query <file> <target>Query specific items (for agent integration)
lock <file> <item> --agent XClaim a spec item for an agent
unlock <file> <item> --agent XRelease a claimed spec item
status <file>Show lock status for all spec items
fmt <file>Format a spec file (--write to overwrite, --check to verify)
initScaffold a new .intent file (--name, -o)
completions <shell>Generate shell completions (bash, zsh, fish, etc.)
generate "description"Generate a spec from natural language (Layer 0)
serve <file>Serve spec as a REST API (stateless runtime)

Global options

intent --output json    JSON output (for agent consumption)
intent --help           Show help
intent --version        Show version

See the subpages for detailed usage of each command.