Preflight live demo
Checking…

You already have agent controls. This is the one artifact they can’t produce.

Policy engines, guardrails, and audit logs all share one limit: their evidence is checked inside the same system it vouches for — and even self-attestation at machine speed is still self-attestation. Here, every agent action is blocked or allowed before it executes, and each decision is sealed into a receipt you verify live against an endpoint this site doesn’t control. Choose a policy, then click a scenario to start.

ICME LabsGive your agents
high-stakes work
1Translate

Rules written in plain English become mathematical constraints, compiled once — the policies in the left column.

2Enforce

Each proposed action returns a deterministic allow or block before it executes. Same rule, same action, same decision every time.

3Verify

Every decision seals into a tamper-evident zero-knowledge receipt any third party can verify without trusting this site.

Pick an action on the left. Preflight checks it against the policy before it could run.
Pick a preset on the left to run a real Preflight check.
Trust model — what crosses each line
Your stack
Your Agent
Holds ICME_API_KEY
action + policy_id
Allowed/Blocked + proof_id
Preflight (ICME)
Decision + Proof
LLM + Z3 + AR verdicts reconcile, then seals into proof
proof_id (no auth)
valid: true (receipt)
External
Auditor / Verifier
No API key needed to verify