Deterministic and agentic smart contract audits for ICP canisters: 15 static detectors, post-quantum readiness checks, Claude LLM analysis, TLA+ verification, proof-of-concept generation and on-chain trust badges. This app needs JavaScript to run.