Zebvix CLI reference

Find supported commands, arguments and engine selectors.

Zebvix is the command-line interface for ZBL. Project commands operate on the project manifest and sources in the current directory.

inspect validates bytecode metadata without execution. serve runs bounded loopback interpreter routes. Installation and update commands accept an approved manifest and verified artifact.

zebvix --version

Show CLI and SDK version information.

zebvix doctor

Check the development environment.

zebvix install

Install a verified SDK artifact.

zebvix update

Activate a verified replacement SDK.

zebvix uninstall

Remove managed SDK files while preserving projects.

zebvix new <project>

Generate a new project and tests.

zebvix check [--effects]

Check project sources and optionally show inferred effects.

zebvix fmt [--check]

Format sources or verify formatting.

zebvix build

Build a checked-source artifact by default. Select bytecode or bytecode-v1 with --backend, or Windows native with --target native.

zebvix run

Run the interpreter by default. Select interpreter, bytecode or native with --engine.

zebvix test

Execute test_ tasks with the selected --engine.

zebvix package [--refresh-lock]

Validate package inputs and optionally refresh the lock.

zebvix add <alias> --path <dir>

Add a local package dependency.

zebvix remove <alias>

Remove a dependency entry.

zebvix exec <bytecode>

Run verified bytecode locally.

zebvix inspect <bytecode>

Verify and display bytecode metadata.

zebvix contract build <output>

Build a verified local ZCT contract from the current project.

zebvix contract check <artifact>

Check a ZCT artifact without executing it.

zebvix contract simulate <artifact> <initial-state> <input>...

Return a local transition receipt for up to 32 inputs.

zebvix contract receipt <artifact> <output> <initial-state> <input>...

Save a versioned metered replay receipt to a new file.

zebvix contract verify-receipt <artifact> <receipt>

Replay and verify a saved receipt against the exact ZCT artifact.

zebvix serve <port> <request-budget> <routes...>

Start bounded loopback HTTP routes.