Tools
Server and operator tools
The three binaries actually provided by the MARS workspace.
There is no general mars client CLI in this release. The preserved CLI documentation routes now describe HTTP workflows and the three actual workspace binaries.
| Binary | Purpose | Feature requirement |
|---|---|---|
mars-server | Run the HTTP/WebSocket registry and metrics listener | Default features include postgres,sigil; production adds prod |
mars-contracts | Generate or check canonical JSON Schema/OpenAPI artifacts | contracts |
mars-ledger | Verify private-audit and public-event ledger chains | postgres |
Commands
mars-server --help
mars-contracts check
mars-ledger verifymars-contracts generate rewrites canonical repository artifacts. Use check for drift verification. mars-ledger reads the database selected by DATABASE_URL or --database-url. See server configuration and recovery.
For discovery, resolution, events, and publication, use HTTP/WebSocket clients against an operator-supplied registry URL. No Homebrew package or public hosted endpoint is implied.
Source authority
This page describes the checked-in implementation, not the availability of a public registry.
mars-server/Cargo.tomlmars-server/src/main.rsmars-server/src/bin/mars-contracts.rsmars-server/src/bin/mars-ledger.rs