Skip to content

AVERA v0.1.0 — CI-ready Docker CLI + GitHub Action

Latest
Latest

Choose a tag to compare

View all tags
@capy-ai capy-ai released this 22 May 09:45
· 1 commit to Kiku since this release
v0.1.0
0606653
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

First public release of the AVERA CI-ready distribution surface for proof-oriented change verification.

This release makes AVERA easier to try in a real engineering workflow: locally through Docker, or directly inside CI through a reusable GitHub Action.

What's new

  • Docker CLI image published to GHCR:
    ghcr.io/tc7kxsszs5-cloud/avera-cli:v0.1.0
    (also :v0.1, :v0, :latest, multi-arch linux/amd64 + linux/arm64)

  • Reusable GitHub Action at the repo root:
    uses: tc7kxsszs5-cloud/avera@v0.1.0

  • Example workflows for quick adoption

What the Action provides

The reusable Action gives a CI-shaped entrypoint for running AVERA on a local evidence workspace and producing a structured verification bundle, including:

  • verdict
  • risk
  • confidence
  • report output
  • review-ready artifact chain

Try it

docker run --rm \
  -v "$PWD/fixtures/bms-fast-charge:/workspace" \
  -v "$PWD/reports:/reports" \
  ghcr.io/tc7kxsszs5-cloud/avera-cli:v0.1.0 \
  analyze --project /workspace --out /reports \
  --memory /reports/avera-memory.jsonl
Assets 2
Loading