quickstart

From install to verified proof

Four steps. Capture is automatic and redacted, the proof is portable, and verification is free for whoever receives it.

1 · Install

The axyvera package ships the CLI and the free verifier. It runs entirely on your machine — there is no account to create.

zsh — install

$ pipx install axyvera
# or: pip install axyvera

$ axyvera --version
axyvera 2.0

2 · Capture a session

Install the adapter for your agent, then work as usual. Every event is canonicalised, redacted, and appended to the hash chain before anything touches disk.

zsh — capture

$ axyvera adapters install codex
codex adapter installed (project scope)

$ axyvera codex exec "add pagination to the users endpoint"
sealing · 37 events · chain valid · redacted

3 · Export a signed bundle

Finalizing seals the session into a single .axy file: the chain, its manifest, the coverage it honestly claims, and an Ed25519 signature.

zsh — export

$ axyvera adapters finalize codex --export ./proof.axy
wrote proof.axy · ed25519 signed · coverage: complete

4 · Verify (free, offline)

Hand the bundle to a reviewer, an auditor, or a customer. They verify it with one free command — signature, content, and coverage reported separately.

zsh — verify

$ axyvera verify ./proof.axy
signature: valid
content: intact
coverage: complete-for-declared-capabilities
overall: PASS

no license required to verify

The verifier is license-independent on purpose: the party checking evidence should never have to trust — or pay — the party that produced it. You can also check a bundle in the browser on the verify page.