Skip to content

Repository commands

These commands talk to the VeriLib API. Authenticate first; credentials are stored in the system keyring (or file storage — see Config and files).

auth

Authenticate with the VeriLib API.

verilib-cli auth

status

Show current authentication status.

verilib-cli status

init

Initialize from an existing repository ID or create a new repository from the current git URL.

verilib-cli init --id <repository-id>
verilib-cli init
Option Description
--id <id> Initialize from existing repository ID
--url <url> Custom API base URL

When creating (no --id), the CLI:

  1. Auto-detects the git URL from the current directory
  2. Prompts for repository URL (supports branches and subfolders)
  3. Collects metadata (language, proof language, summary)
  4. Creates the repository and saves the ID locally
  5. Prompts for Docker or Local probe execution mode

deploy

Push local repository / structure changes to the server.

verilib-cli deploy
Option Description
--url <url> Custom API base URL

pull

Pull the latest repository structure from the server.

verilib-cli pull

reclone

Trigger a server-side reclone (with safety checks for uncommitted local changes).

verilib-cli reclone

Typical sequence

verilib-cli auth
verilib-cli init --id <repo-id>   # or init without --id
verilib-cli pull
# ... edit structure / code ...
verilib-cli deploy