CAIN-42 CAIN Studio

CAIN-42 · Prove it to anyone

Offline verifiers

Small standalone programs that check CAIN's evidence on your own machine, without trusting our sites.

Last reviewed 2026-10-01

Live   Developer tools · Offline verifier

What it is

CAIN-42 buyer pre-flight: one command that re-checks the evidence hygiene

Where it fits

Part of Prove it to anyone: Signed records your auditor, regulator or customer can check without trusting us. Every CAIN-42 product runs behind the same rule: an AI agent's action is checked before it runs (identity, authority, policy, risk), decided as allow, hold for a human, or block, and recorded as signed evidence. Unknown or error never becomes allow.

Use it

Included

NameWhat it checksGet it
buyer_preflight.pyCAIN-42 buyer pre-flight: one command that re-checks the evidence hygienein a proof bundle
cain_37_independent_verifier.pyCAIN 37.0 Phase 4/10 -- Independent Evidence Chain Verifier (zero-import).download
cain_epoch6_cleanroom_verifier.pyCAIN-42 Epoch 6: Independent Clean-Room Verifierin a proof bundle
cain_proof_verify.pycain-proof-verify: one-command clean-room verification of a CAIN42-PROOF-PACKAGE.in a proof bundle
cain_verify_offline.pyCAIN Offline Evidence Verifierin a proof bundle
cleanroom_verify_epoch6.pyCLEAN-ROOM verifier for Epoch 6 evidence (causal graph commits, journal hash chain, crash-state semantics). Stdlib only; imports nothing from CAIN.in a proof bundle
verify_claims.pyVerify CAIN42_FINAL_PUBLIC_CLAIMS.json without trusting any CAIN-42 website.download
verify_decision_arguments.pyCheck WHICH tool arguments a signed CAIN decision record covered.in a proof bundle
verify_decision_record.pyCheck that a stored CAIN hosted decision record is exactly what the gateway signed.download
verify_hosted_decision.pyVerify that a hosted CAIN-42 decision was really ordered by a PBFT quorum.download
verify_pbft_qc_bundle.pyStandalone verifier for a CAIN-42 PBFT quorum-certificate evidence bundle.download
verify_soak.pyVerify the CAIN-42 72-hour soak evidence, checkpoint by checkpoint, without trusting any site.download

Live now

Checked from your browser when this page opened, not from a cached list.

Fire a real decision

Send an action through the live CAIN-42 pipeline from this page, with no account, and watch every stage decide. This is the same pipeline every product here sits behind; it runs for a throwaway demo tenant and is rate limited.

For AI engineers

Every product sits behind one decision path: your agent proposes an action with the exact arguments, CAIN runs it through identity, authority, policy, risk, trust and quorum consensus, and answers ALLOW, REQUIRE_APPROVAL or DENY with an Ed25519-signed record. A timeout, outage or unknown verdict never becomes ALLOW. A brand-new agent has no trust history, so its first actions usually come back REQUIRE_APPROVAL.

Python (zero dependencies)

pip install https://cainstudio.online/cainstudio-0.3.0-py3-none-any.whl
export CAIN_API_KEY=...   # free key: https://cainstudio.online/signup

import cainstudio

@cainstudio.guard()
def transfer(amount_usd: float, to: str) -> str:
    ...  # runs only if CAIN allows this call, with these arguments

try:
    transfer(5000, "acme")
except cainstudio.ApprovalRequired as e:
    print("held for a human:", e.approval_id)
except cainstudio.ActionBlocked as e:
    print("refused:", e.decision.reasons)
except cainstudio.CainUnavailable:
    print("CAIN unreachable: not run")   # fail-closed

See a real decision with no account

cainstudio try          # live pipeline, stage by stage
cainstudio try --list   # the other attack scenarios

MCP clients (Claude Code, Cursor)

claude mcp add --transport http cain https://cainstudio.online/mcp

More: Python SDK · TypeScript SDK · framework integrations · AI quickstart · decision signing key

Tested guarantees in this area

Every rule in these niches has its own page with its recorded result.

Related

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.

Create a free account →  ·  Try the sandbox  ·  See the whole ecosystem