Offline Verification Python Packages

assay-it

Open evidence profile for MCP tool actions. Enforce configured tool-call policies and record decisions and observations in offline-verifiable bundles. Optional Linux kernel controls. No hosted backend required.

tersign

Python SDK for Tersign, the evidence layer for the agent economy — offline verification of counter-signed receipts, hash chains, chain commitments and frozen evidence bundles. Zero dependencies, standard library only. PyPI: tersign

aqta-verify-receipt

Open specification and reference verifiers for Seal records: ATTESTATION-v1 for AI model-call decisions, ACTION-v1 for agent actions. Ed25519, canonical JSON, checked offline against a published key.

attest-receipts

Own what you buy: durable, portable proof of purchase you hold. The seller signs a receipt, you keep the file, anyone verifies it offline after the store is gone.

crovia-seal

Crovia Seal — tamper-evident, offline-verifiable receipts for AI outputs (crovia.seal.v1). IETF Internet-Draft draft-crovia-seal. Reference implementation, conformance vectors, in-browser verifier, signing service. Wraps every TACET proof.

vella-sdk

VELLA = Verifiable Evidence Ledger & Logic Authority; deterministic pre-execution authorization and signed proof for AI agents and automated workflows.

er1-verify

ER1 — Epistemic Receipt v1: an open, offline-verifiable proof of the constraint-state an autonomous AI agent's action was produced under.

artifactproof

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

signforge-verify

Verify SignForge-signed PDFs offline — W3C VC, ECDSA P-256, Merkle proofs, JAdES JWS. Python 3.9+.