CLI reference (lev)
Everything Leviath does is one binary, lev. This page lists every command and its flags.
lev <command> --help prints the same thing at the terminal.
If a command is not doing what you expect, Troubleshooting is organised by
symptom, and lev doctor checks the usual causes for you.
-v / --verbose is global and works on every subcommand.
Scripting against the CLI? --json is on run, ps, doctor, validate, list, models list,
context, result, respond, stages, tools, approvals safe, and mcp list. Everything else prints
for a person. Warnings go to stderr, so stdout parses on its own. A service that would rather
speak HTTP should use lev serve instead.
Most commands talk to the shared-world daemon. lev run, lev dash, lev serve,
and lev agent-client start one automatically if none is running, and restart it if it is running
an older build.
Running agents
lev run [PATH]
Spawn an agent into the daemon. PATH is an installed agent name, a blueprint directory, or an
agent.leviath file. Omitted, the current directory is used.
| Flag | Purpose |
|---|---|
-t, --task <TEXT|FILE> |
The task prompt, or the path of a file holding it. Left off, your editor opens |
-m, --model <MODEL> |
Model override, as provider/model or a bare model name |
--workdir <DIR> |
Working directory for the run, defaulting to where you ran the command. See below |
--yolo |
Run unattended. See below |
--allow <TOOL> |
Allow one tool outright. Repeatable |
--max-depth <N> |
Override the blueprint's maximum sub-agent tree depth |
--no-seed-commands |
Refuse the blueprint's seed = { command = "..." } regions for this run |
--count <N> |
Start this many runs of the same agent and task, each under its own run id, from one invocation |
--json |
Print the spawned run as JSON rather than a sentence. See below |
--output-format <LABEL> |
Ask for the final output in this shape. See Final outputs |
--output-instructions <TEXT> |
Extra guidance about that shape |
--output-schema <JSON|@FILE> |
A JSON Schema the final output must satisfy |
--<region> <TEXT|@FILE> |
Seed a named context region. See below |
--workdir decides more than where commands run. File tools are confined to it, and relative
[read_paths] entries resolve against it.
--json is for a caller that parses the run id back out. With --count above 1 it prints an
array, one object per run.
--yolo waives approvals, not checkpoints. It approves every tool call, and it takes away the
tools that wait on a person (ask_user_*, present_for_review, edit_document) so the run does
not stop for somebody who is not there.
Two things still hold it. A stage keeps whatever it lists in
required_tools, and an
interaction point declaring unattended = "ask" opens its
prompt however the run was launched. A blueprint can ask for that on its plan
approval, because everything after that gate writes code. lev run --yolo prints what will hold
before the run starts, and lev validate reports it as holds-under-yolo.
--yolo can turn an ask into an allow, but it can never lift a deny.
Region seed flags are dynamic, because region names come from the blueprint. Any --<name> that is
not one of the flags above is read as a seed for the region called <name>, and a value starting
with @ is read from that file:
lev run reviewer --task "Review the auth module" --standards @./team-standards.mdA region only accepts a seed if the blueprint declares it as caller input: a string
seed = "<key>" in its [context.regions] entry, or being named task, which asks for the task
key implicitly. A table seed (seed = { glob = ... }, { command = ... }, and so on) fills the
region from somewhere else and takes no caller input. A --<name> naming any other region is
dropped.
Note
--task fills the caller-input key task. A blueprint receives it only if some region asks for
that key, either with seed = "task_input" or by being named task (which gets the seed
implicitly). Passing a task to a blueprint with neither is refused at spawn rather than dropped,
because the run would otherwise answer a question it was never given. The error names the caller
input the agent does take, so lev run reviewer -t "..." points you at --diff instead.
Writing the task in your editor
Run lev run <agent> with no -t and Leviath opens your editor on a short commented template.
Type the task, save, and the run starts. Lines beginning with # are stripped, so none of the
template reaches the agent. Save an empty file and the run is cancelled.
The editor is $VISUAL, then $EDITOR, then the first of vim, nano, vi that is installed.
On Windows it is edit, then notepad, then vim. $VISUAL and $EDITOR are split on
whitespace, so code --wait works, but a program path containing spaces needs a wrapper script on
your PATH.
Stdin has to be a terminal for any of this. In a script, a pipeline, or CI, pass -t and Leviath
says so rather than blocking.
-t reads a file when the value names one that exists. A value that looks like a path with no
file behind it is an error, so a mistyped filename fails instead of quietly becoming the prompt.
"Looks like a path" means no spaces, plus a /, a \, or a leading ~. Region flags work the
other way round and want an explicit @ before a path, because a region seed is usually a file
while a task is usually a
sentence.
lev stages <RUN-ID>
The per-stage token ledger, which is where a staged agent's cost lives. A single loop has one number you can eyeball; a staged agent has a different window per stage, regions that persist across stages, and per-stage models with different prices.
| Flag | Purpose |
|---|---|
--regions |
Also show each stage's per-region token high-water mark, largest first |
--json |
Print the ledger as JSON |
STAGE STATUS PROMPT OUTPUT CACHE RD CACHE WR
ingest complete 16832 2249 0 0
report complete 37644 493 0 0
summary complete 252848 648 0 0
TOTAL 307324 3390 0 0CACHE WR is the write half of a cache decision. Without it a stage showing no reads might be
paying to write a prefix nothing reuses, or might not be caching at all, and the ledger could not
tell those apart.
--regions answers the question a structured layout is really asking: what am I paying to carry,
and where. The number shown is the largest each region reached while the stage was active, since a
region is re-sent whole on every call.
Leviath also warns once when a stage's per-call prompt grows past four times its first call. That is the shape of a region accumulating without a cap, which is the failure that costs money and the hardest one to spot by eye.
lev create <NAME>
Scaffold a new blueprint directory.
| Flag | Default | Purpose |
|---|---|---|
-t, --template <NAME> |
default |
Starting template. coder scaffolds the multi-stage shape; anything else gives a single-stage starting point |
lev validate [PATH]
Check a blueprint before running it. PATH defaults to ..
Beyond parsing and structural validation, it reports what the blueprint leaves unsaid. Findings come in three levels: an error exits non-zero, a warning does not, and a note never does.
| Level | Code | What it means |
|---|---|---|
| error | unknown-tool |
A name in available_tools matches nothing. See below |
| error | unparseable-safe-command |
A [safe_commands] shell entry no call can ever match. See below |
| error | output-missing-submit-tool |
A stage must produce an output and has no way to submit one. See below |
| error | orphan-stage-permission |
A [stages.X.tool_permissions] key names a tool the stage never granted. It reads as a grant and is not one. |
| warning | stage-missing-model |
No [stages.X.model] block, so the stage runs on whatever your default_provider is. |
| warning | stage-missing-mode |
No mode, so the stage runs as autonomous. |
| warning | stage-missing-max-iterations |
Unbounded unless [limits] default_max_iterations is set. Fan-out stages are exempt. |
| warning | agent-model-block-ignored |
A top-level [model] block. Nothing reads it; model selection is per stage. |
| warning | region-seed-not-understood |
A region's seed is not a recognized form, so the region starts empty. See below |
| warning | blocking-tool-in-autonomous-stage |
An autonomous stage grants a tool that waits for a person. See below |
| warning | implicit-shell-policy |
A shell grant with no policy behind it. See below |
| warning | unknown-model |
A model this build has not heard of. See below |
| warning | no-reachable-provider |
Nothing in the stage's models list is configured here, so it falls through to your default model. |
| warning | compact-summarizes-deliverable |
A compact edge would hand a required region to the summarizer. See below |
| warning | unreachable-stage, cycle-without-max-revisits, broad-read-path |
Graph and [read_paths] shape. |
| warning | dead-end-possible |
Every route out of a stage can run out of budget. See below |
| warning | read-paths-not-granted |
The blueprint declares [read_paths] your config.toml does not grant. See below |
| warning | read-paths-grant-invalid |
A read_paths grant in your own config will not compile. It is a hard spawn error, named here first. |
| note | holds-under-yolo |
A checkpoint that still stops an unattended run for a person. See below |
| note | safe-commands-declared |
The blueprint declares [safe_commands]. Declaring is not granting. See below |
| note | command-seed, read-paths-declared |
Things worth knowing before you run the blueprint. See below |
Thirteen of those findings need more than a phrase.
unknown-tool means the name matches no built-in, no sub-agent tool, and no tools/*.rhai
file. The stage then advertises one tool fewer, so the model is told a tool it was meant to have
does not exist. MCP names (server__tool) are skipped, since they resolve only once that server is
installed.
unparseable-safe-command fires on an entry that is not a bare command prefix, so no call can
ever match it. Write a program, optionally with the subcommand that narrows it: rg, cargo test.
output-missing-submit-tool means a stage sets require_output but never grants
submit_output. Use mode = "output", which grants the tool.
region-seed-not-understood is usually a typo in a table key. It is { caller = "task" }, not
{ caller_input = "task" }. An unrecognized seed is ignored, and the region starts empty.
blocking-tool-in-autonomous-stage fires when an autonomous stage grants ask_user_*,
present_for_review or edit_document. With nobody attached, the run parks there until it is
killed. Set allow_blocking_tools = true on the stage to say you meant it.
implicit-shell-policy matters because the default is ask. An unattended run waits on that
prompt rather than being denied.
unknown-model is checked only against providers with a closed catalog. Ollama, OpenRouter and
script providers are never checked.
compact-summarizes-deliverable means a later stage reads a paraphrase of a region you marked
required. Set summarizable = false on the region.
dead-end-possible fires when every normal edge's target has a max_revisits budget, so the
run errors once they are spent. Add a condition = "dead_end" edge to a stage without one. A
max_iterations edge does not count, because it fires on the iteration cap rather than on this
path.
read-paths-not-granted is the declaring-is-not-granting case. Those reads are refused at
runtime, and the fix line carries the stanza that would grant them.
holds-under-yolo names an interaction point declaring unattended = "ask", or a blocking tool
a stage keeps in required_tools. Both are deliberate wherever they appear. It is a note because
--yolo reads as "run without me".
safe-commands-declared applies only where you opt in. That is per agent via
[agent_safe_commands.<name>] allow_blueprint, or globally via
[security] allow_blueprint_safe_commands.
command-seed and read-paths-declared say what the blueprint will do before you run it.
read-paths-declared carries the granted and declared counts, plus each entry's status.
| Flag | Purpose |
|---|---|
--deny-warnings |
Exit non-zero on warnings too. Notes still never fail. |
--json |
Print the report as one JSON object with valid, blueprint, error, and findings |
The same findings are written to daemon.log when a run spawns, so a blueprint that was never
validated still says what is wrong with it. Nothing there refuses a spawn.
[read_paths] entries are checked against your own config.toml, entry by entry, because
declaring one is not the same as being allowed to read it. Anything your config does not grant is
named as such, with the stanza that would grant it. The daemon's own lint has no user config to
consult, so there it stays the plain "these need granting" note. See
reading outside the workdir.
lev test [PATH]
Run a blueprint's tests: everything in its tests/ directory, against the real provider.
| Flag | Purpose |
|---|---|
-f, --filter <PATTERN> |
Only run cases whose name contains this substring |
--dry-run |
Parse and report the cases without calling a provider, so nothing is spent |
Each tests/*.toml file holds one or more cases:
[[test]]
name = "greeting"
input = "Say hello"
expect_contains = "hello"
[[test]]
name = "reads the config"
input = "What is in config.toml?"
expect_tool_call = "read_file"
max_tokens = 500| Key | Meaning |
|---|---|
name |
Case name. --filter matches on it |
input |
Seeded as the task, exactly as lev run "..." would |
expect_contains |
Case-insensitive substring the response must contain |
expect_tool_call |
A tool the model must call. It has to be one the stage lists in available_tools |
max_tokens |
Caps this case's output. Narrows the ceiling the window and model already impose; it cannot raise it |
What a case actually runs. One inference, not a run. lev test builds a fresh context
window from the blueprint's layout, seeds input as the task, and assembles the request exactly
as a live run's first turn would. That means iteration 0, region hooks active, and the first
stage's model and tools. It then calls the provider once and checks the assertions. Nothing
executes: a tool call is
asserted on, never performed, so a case can expect write_file without a file appearing.
A tests/*.rhai file is run instead as a script through the scripting engine, and fails the run if
it returns false.
lev models
| Command | Flags |
|---|---|
lev models list |
-p/--provider <NAME>, -r/--remote (live from the provider APIs, slower), -a/--all (include providers with no credential here) |
lev models show <MODEL> |
-p/--provider <NAME> (required for a remote lookup), -r/--remote |
lev agent-client
Serve an agent over the Agent Client Protocol as JSON-RPC on stdio.
| Flag | Purpose |
|---|---|
--agent <NAME|PATH> |
Blueprint to serve. Omitted, each session's working directory is searched for an agent.leviath |
--yolo |
Approve every tool call without prompting. Recommended for hosts that do not implement session/request_permission |
--allow <TOOL> |
Allow one tool outright. Repeatable |
--max-depth <N> |
Override the maximum sub-agent tree depth |
--no-seed-commands |
Refuse the blueprint's command seeds |
--output-format <LABEL> |
Ask the agent for its final output in this format |
--output-instructions <TEXT> |
Extra instructions for that final output |
Blueprints and packaging
| Command | Flags | Purpose |
|---|---|---|
lev list |
--json, -f, --filter <all|agents|blueprints> |
List installed and bundled blueprints. See below |
lev add <PACKAGE> |
Install a blueprint directory or .leviath-bundle. Prints what the package grants itself before installing |
|
lev remove <NAME> |
Uninstall a blueprint | |
lev pack [PATH] |
-o, --output <FILE> (default {name}-{version}.leviath-bundle) |
Bundle a blueprint for sharing |
lev list --filter narrows the listing to installed agents or to bundled blueprints. An
unrecognized value is an error rather than a silent ignore. An agent declaring
[read_paths] also shows how many of its entries your
config grants.
Watching and steering
| Command | Flags | Purpose |
|---|---|---|
lev ps |
--json, --all |
List runs in the daemon with their status. --all also reads the runs dir. See below |
lev dash |
Full-screen TUI dashboard | |
lev msg <AGENT_ID> <CONTENT> |
Deliver a message into a running agent's context | |
lev pause <RUN_ID> |
Pause a run. It finishes its in-flight step, then holds | |
lev resume <RUN_ID> |
Un-pause a run | |
lev cancel <RUN_ID> |
--force |
Cancel a run. Also aliased as lev kill |
lev context <RUN_ID> |
--json, --full |
Show a run's context-window history from its run.lvr archive |
lev result <RUN_ID> |
--json, --raw |
Print what the agent handed back. See below |
lev cancel --force writes the run's on-disk state terminal without asking the daemon, for when
the daemon is gone or unresponsive. Without it, the daemon is asked first, since it can stop the
work rather than only record the outcome, and the on-disk write is the fallback.
lev context --full includes each region's entry contents instead of per-region summaries.
lev result
Print the answer a finished run submitted. It reads the run's meta.json, so it needs no daemon and
works for a run that finished last week.
lev result agent-abc123 # the answer, with its run and stage
lev result agent-abc123 --raw # the answer alone, for a pipeline
lev result agent-abc123 --json # the answer plus its shape and stageA run that produced no answer exits non-zero rather than printing nothing. So
lev result <id> > answer.txt in a script cannot quietly write an empty file.
Files the run produced are listed under the answer. Fetch one however you normally would; the paths are relative to the run's working directory.
Only an agent that calls submit_output has an answer to show. See
Final outputs for how a blueprint asks for one.
lev respond [REQUEST_ID] [VALUE]
Answer an interaction the daemon is holding. With no REQUEST_ID, lists the open ones.
| Flag | Purpose |
|---|---|
--choice <INDEX> |
Answer a multiple-choice interaction by zero-based option index |
--approve |
Approve a tool-approval or confirm interaction. Conflicts with --deny |
--deny |
Deny it |
--stage |
With --approve, allow what this call runs until the run leaves the current stage |
--session |
With --approve, allow what this call runs for the rest of the run (alias --run) |
See Human-in-the-loop for what raises these.
Reading lev ps
RUN TITLE STATUS STAGE ITER TOOLS AGE
solo-1785568852-9fa61fd279dd Retry backoff audit waiting: tool approval work 1 1 41s
busy-1785568852-384bad04c9ac Index the changelog active work 13824 13824 0s
waiter-1785568852-7895a2209850 Split the log sweep waiting: children(1) delegate 1/2 2 1 41s
1 run needs an answer: lev respondTITLE is the generated one-line title, and the column appears only
when at least one listed run has one - a run whose titling was turned off or did not finish leaves
the cell empty rather than widening every row for nothing.
AGE is how long since the run last moved: a new iteration, a new stage, or a change of
status. It is deliberately not meta.json's updated_at, which also advances on a
30-second heartbeat so that observers can tell a live daemon from a dead one. A fresh
updated_at is therefore not evidence of progress; a fresh AGE is. The same figure is
written to disk as last_progress_at, so a script can read it without the daemon.
lev ps lists what the daemon is holding, plus the runs that finished within the
retention window above. lev ps --all adds a second block read from the runs dir instead,
so runs older than that window, and runs from before the last daemon restart, are still
accounted for:
NOT RUNNING
RUN STATUS LAST MOVED
coder-1785568100-a1b2c3d4e5f6 complete 4m
coder-1785567000-c3d4e5f6a1b2 error 1h
router-1785560000-e5f6a1b2c3d4 running (abandoned) 2h(abandoned) means the run claims on disk to be running, the daemon is not holding it,
and it has not moved in five minutes. Clear it with lev cancel <run-id>. With --all a
daemon that is down is reported rather than fatal, and nothing is marked abandoned in that
case, because an unreachable daemon looks exactly like every run dying at once. See
reconciling an external work queue if
you are driving Leviath from a scheduler.
| Status | Meaning |
|---|---|
active |
Running a turn, or waiting on the model or a tool |
idle |
Spawned, not yet started |
paused |
Paused with lev pause |
waiting |
Blocked. The reason follows the colon |
complete |
Finished |
cancelled |
Cancelled with lev cancel |
error |
Ended with the error shown |
A waiting run always says what it is blocked on, because the answer decides whether you
need to do anything. These are stopped until a person acts:
| Reason | What to do |
|---|---|
tool approval |
A tool call needs approving with lev respond |
user prompt |
The agent asked a question (ask_user_*). Answer it |
taint gate |
A call needs clearance for the data it touches |
checkpoint |
A blueprint stage-boundary review |
These resolve on their own, and are a normal part of a healthy multi-agent run:
| Reason | Meaning |
|---|---|
workers(n) |
A fan-out parent, n workers still to finish |
children(n) |
A stage holding for n spawned sub-agents |
That distinction is the useful one. waiting: children(3) next to three busy children is a healthy
run doing exactly what it should. waiting: tool approval at ten minutes is a run nobody answered.
Launch with --yolo to approve automatically. Sub-agents and fan-out workers inherit it, and it
survives a daemon restart.
(no output)
A finished run can read complete (no output), and likewise for cancelled and error. It means
the run changed no files, even though its agent had a tool for changing them.
Almost always the edits went through the shell, which Leviath cannot see. sed -i, tee, and
redirects leave no trace, so nothing downstream knows the work happened. Either re-apply those edits
with write_file or edit_file, or name the tool you do write with in a transition
gate so that it counts.
Agents that never had a file-writing tool are never marked this way. A router that delegates, or a researcher whose answer is its report, has no file changes to be missing.
The READS column
This column only appears when one of the listed runs declares
[read_paths]. It reads granted over declared, as
resolved when the run spawned.
0/2 is the one to watch for. That run is up and looks healthy, and every read its author designed
it around will be refused. Run lev validate <agent> to see which entries, and the config block
that grants them.
Runs that have finished
A run keeps its place in the listing for five minutes after it ends, then drops out.
That window exists so a run that failed is still there to say so. Without it, a run that died on its first model call would leave the listing within seconds, and read exactly like a run that was never spawned at all.
So you get this instead of an empty listing:
RUN STATUS STAGE ITER TOOLS AGE
worker-1785616492-6f0d21ab4c11 error: HTTP 402 Payment Required work 0 0 41sITER 0 and TOOLS 0 next to an error mean the run never got as far as its first turn. Set
[limits] finished_retention_secs to widen or narrow the window, or 0 to drop a run as soon
as it finishes. The record is held in memory, so restarting the daemon clears it early; the
durable copy is the run's meta.json, which GET /api/agents reads.
Two things this does not cover. A spawn that fails outright never becomes a run, so it is
reported by lev run itself rather than here. And a run that finished longer ago than the
window is gone from the listing for good.
lev ps --json prints the same data unformatted, for scripts:
{ "runs": [ ... ], "finished": [ ... ], "health": { ... } }Finished runs are their own key rather than mixed into runs, so counting what is running
stays a matter of reading one list. Both carry the empty_output field, and a read_paths
object with the granted and declared counts when the blueprint declares any. The completion
webhook carries the empty_output key.
The daemon and API
lev daemon [ACTION]
With no action, runs the daemon in the foreground.
| Action | Purpose |
|---|---|
start |
Start it in the background. A no-op if one is already running |
stop |
Shut it down |
status |
Report whether it is running and how many agents it hosts |
restart |
Stop, then start, reloading persisted agents |
install |
Register with the OS supervisor (launchd, or systemd --user) so it starts at login and restarts if it dies |
uninstall |
Deregister it |
--socket <ID> overrides the control socket path and works on every action.
lev serve
Start the REST and WebSocket API.
| Flag | Default | Purpose |
|---|---|---|
-p, --port <PORT> |
3000 |
|
-H, --host <HOST> |
127.0.0.1 |
|
--token <TOKEN> |
unset | Bearer token clients must present. Overrides LEVIATH_API_TOKEN. The server refuses to start if neither is set |
--cors <ORIGIN> |
none | Allow browser requests from an origin. * is accepted and means any origin |
--allow-admin |
off | Mount the MCP administration and config-write routes |
--workdir-root <PATH> |
unset | Restrict agent working directories to this root |
--no-remote-yolo |
off | Refuse "yolo": true and "allow": [...] on spawn requests |
--tls-cert <PATH> |
unset | PEM certificate chain. Serves HTTPS; needs --tls-key too |
--tls-key <PATH> |
unset | PEM private key for --tls-cert |
Tip
A browser cannot call an http:// Leviath that is not on loopback, whatever --cors says. That
holds on a LAN too. That is what the TLS flags are for. See
reaching a Leviath on another machine.
Warning
Prefer LEVIATH_API_TOKEN over --token. A command-line argument is visible in ps to every
local user for the life of the process.
--allow-admin is off by default because the MCP write routes are remote code execution by
construction: adding a server writes a command into your config, which Leviath then spawns.
--workdir-root matters for the same reason: without it a token holder can point a
tool-executing agent at any directory, including /.
Configuration and tools
lev doctor
Check that provider wiring works, end to end. Four checks run in order, the first failure stops the rest, and the one that fails is the diagnosis.
| Check | What it proves | A failure means |
|---|---|---|
config |
config.toml parses and a provider registry can be built |
The config file is malformed |
resolve |
Your defaults pick a provider that is actually registered | A key is missing or misspelled |
inference |
One real call reaches the model | A bad key, an unknown model id, or a billing problem |
daemon |
A one-stage agent spawns over the control socket, runs, and finishes | The handoff is broken even though the credentials are fine |
$ lev doctor
config OK default_provider=openrouter; registered: ollama, openrouter (script providers resolve by name)
resolve OK openrouter / anthropic/claude-sonnet-4.5
inference OK 12 in / 4 out / 16 total, replied PONG (1.2s)
daemon OK run doctor-1785649252-bf7b3d07a265 Complete after 1 iteration(s) (0.3s)
doctor passedThe fourth check spawns a throwaway one-stage agent with no tools, waits for it, and then deletes
the run. Nothing is left in lev ps or on disk.
| Flag | Purpose |
|---|---|
-m, --model <MODEL> |
Test a specific model. Takes the same forms as lev run --model |
--no-daemon |
Stop after the third check. Contacts no daemon, starts none, and creates no run |
--json |
Print the checks as {"checks": [...], "passed": bool} |
--model takes provider/model to pick both, and a bare model id pairs with your
default_provider. --model provider/model is the way to reach a
Rhai script provider, which
is resolved by name and so cannot be listed. Use it to try a model string before wiring it into a
blueprint.
lev doctor exits non-zero when a check fails, so it works as a CI gate. It bills two inferences
per run, each capped at 64 output tokens; --no-daemon bills one.
lev setup
The interactive provider wizard. Every credential and agent choice it asks for
has a flag, so headless setup is scriptable. The wizard's Limits screen edits the
[limits] keys, which have no flags: script those by writing
config.toml directly. That screen is opt-in - every limit already has a working default, so it
only appears once you turn on Show advanced tuning on the Defaults screen. Skipping it changes
nothing about what gets written.
| Flag | Purpose |
|---|---|
--non-interactive |
Use only flag values, ask nothing |
--no-verify |
Skip checking credentials against the provider APIs |
--anthropic-key, --openai-key, --google-key, --openrouter-key <KEY> |
Provider API keys |
--ollama-url <URL> |
Ollama base URL |
--default-model <MODEL> |
Default model override |
--claude-code <true|false> |
Enable the Claude Code CLI transport. Off unless set |
--claude-code-effort <LEVEL> |
low, medium, high, xhigh, or max |
--install-agents |
Install the bundled blueprints without asking |
lev setup --non-interactive --anthropic-key sk-ant-... --install-agentsNote
The bundled agents are not installed unless --install-agents is passed in non-interactive
mode. That is deliberate, so a scripted setup does not write blueprints you did not ask for.
Each blueprint is listed with what setup would do to it: install it, update it from the version on
disk, or nothing. A copy at the bundled version whose files differ from the bundled ones reads as
edited locally and is offered unchecked, because installing removes the destination directory
first and would take your edits with it.
lev run says the same thing at the moment it matters: a run starting on an installed bundled
blueprint that this build ships a different version of prints a one-line note before it spawns.
Inside the wizard, the keys work the same way on every screen:
| Key | Meaning |
|---|---|
↑ ↓ (or k j) |
Move between rows |
← → (or h l) |
Cycle a choice or the reasoning effort |
| Space or Enter | Select the focused row; Enter also opens editors for typed values |
| Enter on a default | Opens a searchable list of providers or models, with what the choice decides |
| PgUp / PgDn, Home / End | Scroll a long screen; the selection moves with the view |
Enter on [ Continue ] |
Move to the next screen (the button is the last row) |
| Tab / Shift-Tab | Next / previous screen |
| Esc | Previous screen, or cancel an edit or dialog |
v |
Re-check a credential against the provider's API |
o |
Open the provider's signup page |
| Ctrl-R | Show or hide credentials |
| Ctrl-S | Write the config and finish, from anywhere |
? or F1 |
Help overlay. It scrolls, so a long list is not cut off |
q / Ctrl-C |
Quit without writing. If you changed anything, it asks first |
Nothing is written until you confirm on the Review screen. Leaving the provider screen with nothing selected asks before letting you continue, since an agent cannot run without one.
lev mcp
Manage MCP tool servers.
| Command | Flags | Purpose |
|---|---|---|
lev mcp add <NAME> |
--url, --command, --arg (repeatable), --env KEY=VALUE (repeatable), --header KEY=VALUE (repeatable), --no-login |
Add a server. Detects OAuth and starts a login unless --no-login |
lev mcp list |
--json |
List servers and their auth status |
lev mcp remove <NAME> |
Remove a server | |
lev mcp login <NAME> |
Authenticate or re-authenticate | |
lev mcp logout <NAME> |
Forget stored credentials | |
lev mcp test <NAME> |
Connect and list the server's tools |
Transport is inferred from whether you pass --url or --command.
lev auth
| Command | Flags | Purpose |
|---|---|---|
lev auth status |
Which credential backend is in use and what it holds | |
lev auth migrate |
--to-file, --dry-run |
Move secrets between config.toml and the OS keychain |
lev auth migrate moves keys into the OS store by default; --to-file moves them back out. Set
[security] credential_store in the config first.
lev update
Update Leviath, then offer to bring everything else up to date with it: the binary, the bundled blueprints, and the config file, in that order.
The binary is updated with the installer that put it there, and which one that was is read off the
filesystem rather than guessed from the version string. The version cannot answer: every
channel ships the same number, because the -alpha and -beta suffixes live in
the tap manifests and not in the binary. Where the file sits does answer.
| Found at | What it runs |
|---|---|
| A Homebrew Cellar path, or a Homebrew-only prefix | brew upgrade <formula> |
scoop/apps/<package> or a scoop shim |
scoop update <package> |
~/.cargo/bin |
Nothing. It says to run cargo install leviath-cli |
/usr/local/bin, /usr/bin, ~/.local/bin, %LOCALAPPDATA%\Leviath\bin |
curl -fsSL https://leviath.dev/install.sh | sh -s -- --channel <CHANNEL> |
| Anywhere else | Nothing. It names the path and leaves the choice to you |
A Cellar or apps path carries the package name, and the package name carries the channel, so a
beta install updates to beta without being told. The install script records nothing at all, so its
channel is genuinely unknowable: that arm defaults to stable and --channel is how you say
otherwise.
A cargo install is described rather than run, because updating it is a full compile and that is
not something to start because somebody typed lev update.
| Flag | Purpose |
|---|---|
--check |
Print the plan and change nothing |
--json |
Print the plan as JSON and change nothing |
--channel <stable|beta|alpha> |
The channel to re-install. Only the install-script method reads it |
--dry-run |
Walk the whole flow, prompts and all, printing each action instead of doing it |
--yes |
Answer yes to the binary upgrade and the config write. It does not install blueprints |
--install-agents |
Install the bundled blueprints without asking |
$ lev update --check
lev 0.3.5, installed with Homebrew (formula leviath-beta, beta channel)
binary brew upgrade leviath-beta
agents 1 of 7 would change
data-analyst - update 0.0.1 → 0.0.2
config nothing to migrateAll three steps run every time, whatever the binary step did. That is the point of the command:
brew upgrade and scoop update hand you a new binary and say nothing about the blueprints in
~/.leviath/agents or the config beside them, so anyone who has ever updated that way is running
blueprints from whenever they last ran lev setup. A binary that needs no update is not evidence
that anything else is current.
The blueprint step is the same offer lev setup makes, and nothing is written to your agents
directory without a yes. The whole list is printed first, then one confirmation covers it;
--install-agents is how a script says yes. --yes alone is deliberately not enough, because
updating a binary and replacing the blueprints in your agents directory are different requests.
A copy at the bundled version whose files differ from the bundled ones reads as edited locally. It is named as edited, asked about on its own, and no flag covers it: installing removes the destination directory first and would take your edits, and any file you added, with it.
The config step applies any migration this build knows how to make, printing every change before it
asks to write anything. Today there are none: no released config.toml has to change to work with
this version, so the step exists to explain a future one rather than to do work now.
lev tools
| Flag | Purpose |
|---|---|
--json |
Emit the inventory as JSON |
Lists and validates the global Rhai tool scripts in ~/.leviath/tools/.
lev approvals safe
Print what runs without an approval prompt, and which file put each entry there. This is the answer to "why did it not ask me".
| Flag | Purpose |
|---|---|
--agent <NAME> |
Include that agent's [agent_safe_commands.<name>] entries |
--json |
Emit the inventory as JSON |
There is no list or clear: nothing is persisted. A grant made at a prompt dies with the run that
made it, so the only durable state is the config this reports. See
Human-in-the-loop for what the entries mean.
lev policy
Manage taint tracking policy rules.
| Command | Flags | Purpose |
|---|---|---|
lev policy list |
List current rules, static and scripted | |
lev policy add <TOOL> |
--target <PATTERN>, --max-sensitivity <public|internal|private> (default internal) |
Add an allowlist rule |
lev policy test <TOOL> |
--target <PATTERN>, --taint <public|internal|private> (default private) |
Check whether a call would be gated |
Environment
LEVIATH_HOME redirects the whole data root, and LEVIATH_CONFIG_PATH points at an exact config
file. Those two plus the rest are in the
configuration reference.
Examples on this page use Unix shell syntax. On Windows, set variables the way your shell does:
$env:LEVIATH_HOME = "D:\leviath" # PowerShellset LEVIATH_HOME=D:\leviathThe per-command Unix prefix form (LEVIATH_HOME=/tmp/lev lev ps) has no direct equivalent; set the
variable first, then run the command.