Scripts and CLI

verilib-cli is the Rust CLI for managing VeriLib repositories, local .verilib/ structure files, and API interactions. It is the main contributor-facing tool: authenticate, init/deploy/pull, then run create → atomize → specify → verify (via probe-verus in Docker or locally).

Repo	Beneficial-AI-Foundation/verilib-cli
License	MIT
Language	Rust

How it fits the platform

• Talks to the VeriLib API (same backend as verilib.org / verilib-frontend) for auth, repo metadata, deploy, pull, and reclone.
• Runs probe-verus locally (or in Docker) for structure and verification commands — separate from the server-side Atomizer workers.
• Spec certificates created with specify relate to the Certificates subsystem when work is certified on the platform.

Documentation in this hub

Page	Contents
Install	Installers, package managers, binary matrix, build from source
Repo commands	auth, status, init, deploy, pull, reclone
Structure commands	create, atomize, specify, verify + probe options
Workflows	Interactive user, CI --check-only, server --no-probe
Config and files	.verilib/, keyring, Docker vs local mode
Quick start	Short path to first successful init

Features

• Secure authentication (system keyring / file storage)
• Repository management (init, deploy, pull, reclone)
• Verification structure with probe-verus integration
• Cross-platform: macOS, Linux, Windows

Global options

Option	Description
--debug	Enable debug output
--json	JSON output (API commands)
--dry-run	Preview changes without applying (API commands)

Source of truth

Full command details and troubleshooting: verilib-cli README