mars
Read the spec
cli

mars
runs.

One static binary. Speaks REST, gRPC, and WebSocket. Handles resolution, federation, anchoring, and verification — without external services.

install
# macOS / Linux
brew install l1fe/tap/mars-cli

# any platform
cargo install mars-cli

# release tarballs
curl -fsSL mars.glass/install.sh | sh

Commands

mars

Resolve a DID through the three-hop cascade.

+
bash
mars resolve did:oas:l1fe:agent:web-research@3.4.0
mars

Discover entries by kind, tags, or filters.

+
bash
mars discover --kind agent --tag rag --limit 25
mars

Run a MARS-QL string query directly.

+
bash
mars marsql 'SELECT entry_did FROM entries WHERE entry_type = ''agent'''
mars

Add a federation peer.

+
bash
mars federate --add hive.openagent.id
mars

Force a federation sync round.

+
bash
mars federate sync
mars

Anchor an entry's content hash on Sigil.

+
bash
mars anchor did:oas:l1fe:agent:web-research@3.4.0
mars

Open a WebSocket subscription to live events.

+
bash
mars subscribe 'kind=agent;namespace=l1fe'
mars

Verify signatures, lineage, bond, attestations.

+
bash
mars verify did:oas:l1fe:agent:web-research@3.4.0

Why a separate CLI?

mars is the reference implementation for protocol operations — anchoring, federation, raw resolution. reggie is the friendly publisher's UX. Both speak the same wire format, both ship statically.

Pairs with