Verify contracts and ledgers

This URL is preserved from the earlier CLI guide. The current workspace does not ship a general mars client executable.

Supported workflow

Use mars-contracts check for generated artifact drift and mars-ledger verify for database chain verification. Publisher signature verification is a separate protocol-library operation using the controlled public key and canonical signing bytes.

Open the complete guide.

Verification boundary

Run only against a registry/database you are authorized to access. The documentation app is not a registry and its MCP endpoint serves documentation only.

Source authority

This page describes the checked-in implementation, not the availability of a public registry.

• mars-server/Cargo.toml
• mars-server/src/api/mod.rs