Cryptographic Verification Python Packages

sealstack

Signed, hash-chained action records for AI agents, receipts counter-signed by the receiving service, an offline verifier (exit 0/1/2), exports to AERF, Agent Receipts and noa. Python SDK + receipt spec.

computeledger-cli

CLI, library, and MCP server for signing, hash-chaining, and verifying compute usage receipts across any provider.

behavry-verify

Independently verify Behavry APR evidence packages offline — hash chain and signature, with no Behavry account, database or network.

daryl-dsm

Off-chain append-only, hash-chained, tamper-evident audit layer for AI agents

paceproof-cli

Verifies Ed25519-signed compute-attestation records and separates verified from unverified totals. CLI + MCP server.

mk10-pro

Pre-delivery truth infrastructure

qisa-consensus-engine

Deterministic multi-perspective AI consensus engine with cryptographic trace verification and formal convergence guarantees.