CLI Reference

aglc add

One-shot agent bootstrap: generate → compile → hook → skill.json.

aglc add [projectRoot] [--name <ProjectName>] [--out <file.ag>]

Flag	Description	Default
projectRoot	Directory to scan	. (current directory)
--name	Override the project name in the generated spec	Inferred from manifests
--out	Output path for the .ag file	<projectRoot>/architecture.ag

---

aglc compile

Compile a .ag spec file into a binary architecture.o artifact.

aglc compile <file.ag> [--out <file.o>]

Flag	Description	Default
file.ag	Path to the spec file	required
--out	Output path for .o artifact	architecture.o alongside .ag

---

aglc generate

Scan a project directory and auto-generate a starter .ag spec.

aglc generate [projectRoot] [--out <file.ag>] [--name <n>]

Detects: package.json, .csproj, go.mod, Cargo.toml, build.gradle, Podfile, Package.swift, pyproject.toml, requirements.txt, and package metadata such as the declared license

---

aglc check

Check the current staged git diff, or the whole guarded project, against a compiled architecture artifact.

aglc check --arch <architecture.o> --project <dir> [--all] [--json] [--workflow-z3] [--dump-workflow-smt]

Flag	Description
--arch	Path to compiled .o artifact
--project	Git project root to scan
--all	Scan all tracked component files instead of only staged changes
--json	Output machine-readable JSON verdict to stdout
--workflow-z3	Include workflow policy SMT debug snippets in workflow violations
--dump-workflow-smt	Write workflow policy SMT debug snippets to workflow-debug.smt2

aglc check also evaluates reachability, propagated dataflow, data_policy, trust_policy, di_policy, and change_policy blocks against the staged diff, or against every tracked component file when --all is used. Reachability and trust failures appear as reach_violation, data_policy_violation, or trust_policy_violation entries in violations[]; dependency-injection failures appear as di_violation; change policy failures appear in change_violations[].

Exit codes:

• 0 — No violations (commit may proceed)
• 1 — Violations found (commit blocked)

---

aglc check-file

Analyze a specific file against the architecture. Coding agents should use this during focused edits before waiting for a commit hook.

aglc check-file --arch <architecture.o> --file <path> [--json] [--dump-smt] [--workflow-z3] [--dump-workflow-smt]

Flag	Description
--file	File to analyze
--dump-smt	Write the SMT-LIB script to examples/debug.smt2
--workflow-z3	Include workflow policy SMT debug snippets in workflow violations
--dump-workflow-smt	Write workflow policy SMT debug snippets to workflow-debug.smt2

---

aglc install

Install the git pre-commit hook into a project.

aglc install [--project <dir>] [--arch <architecture.o>]

The hook runs aglc check before every git commit. Writes to .git/hooks/pre-commit.

---

aglc install-agent-skill

Install the generic aglang Codex skill shipped in the npm package.

aglc install-agent-skill [--path <skills-dir>]

Default output is ${CODEX_HOME:-~/.codex}/skills/aglang. This gives agents a reusable interface to aglang commands and workflows. Project-specific architecture rules still come from AGENTS.md and skill.json.

Use --path <skills-dir> to install into a custom skill directory:

aglc install-agent-skill --path ./tmp-skills

The npm package also runs a best-effort postinstall step that copies the same skill into ${CODEX_HOME:-~/.codex}/skills/aglang. This postinstall never fails the npm installation if the copy cannot be completed.

Opt out of postinstall skill installation:

AGLANG_SKIP_AGENT_SKILL_INSTALL=1 npm install -g @collivity/aglang

---

aglc emit-context

Generate an AGENTS.md file describing the architecture for AI agents.

aglc emit-context --arch <architecture.o> [--out <path>]

Default output: AGENTS.md in the current directory.

---

aglc emit-skill

Generate a skill.json manifest for AI agent toolchains.

aglc emit-skill --arch <architecture.o> [--out <path>]

Default output: skill.json in the current directory.

---

aglc import-openapi

Import an OpenAPI 3.x spec and generate .ag contract blocks.

aglc import-openapi <swagger.json> [--out <file.ag>]

---

aglc import-tf

Import a Terraform configuration and generate .ag node declarations.

aglc import-tf <main.tf> [--out <file.ag>]

---

Global flags

Flag	Description
--json	Machine-readable JSON output to stdout; progress to stderr
--dump-smt	Write Z3 SMT-LIB input to examples/debug.smt2
--workflow-z3	Include workflow policy SMT debug snippets
--dump-workflow-smt	Write workflow policy SMT debug snippets