documentation

Capture the work, prove the work

Axyvera turns an AI coding session into a hash-chained record and a signed, offline-verifiable bundle. Start with the quickstart, then dig into the reference.

Quickstart

Install, capture a session, export a signed bundle, verify it — four commands.

CLI reference

Every command: capture, finalize, verify, bundle, sessions.

Adapters

Claude Code and OpenAI Codex — declared capabilities and honest coverage.

Bundle format

What lives inside a .axy file: chain, manifest, coverage, signature.

Validation API

Verify licenses and capture access requests over HTTP.

The whole loop, in three commands

zsh — axyvera

$ axyvera codex exec "add rate limiting to the API"
sealing session · 42 events · chain valid · redacted

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

$ axyvera verify ./proof.axy
overall: PASS

the verifier is free

Whoever receives a bundle can check it with axyvera verify — no license, no account, no network. See the verify page.

Next: Quickstart · CLI reference · Adapters · Bundle format · Validation API