Verifiable Ai Python Packages

archkeel

Archkeel checks architecture boundaries and declared changes in AI-assisted code.

qed-proof

QED Proof Python SDK (pip install qed-proof): submit an AI agent's claimed work, get an independently verified verdict, and verify the signed receipt offline.

openmuse-agent

A local-first personal-agent runtime you can inspect and extend, with exact-action approvals and verifiable audit.

evidencebound-core

Framework-agnostic runtime for evidence-bound AI agents: provenance, executable policy, deterministic verification, blast-radius analysis and fail-closed selective recovery.

knowyouragenticai-receipts

Records what an AI agent was REFUSED, not only what it did. Spending rules enforced in a Daml choice body; every attempt, blocked ones included, becomes a hash-chained receipt an auditor can verify in a browser. Zero dependencies.

vella-sdk

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

rio-receipt-protocol

Cryptographic execution receipts for AI agents: signed, hash-chained proof of authorized tool use. If it changes it can't be run, if it runs, it can be proven.