Skip to main content
MAVerify
-ICU
CASC-AI (Counterfactual Agentic Safety Compiler): A Proof-Carrying, Risk-Budgeted Digital Twin for Preventing Iatrogenic Care Cascades in Multimorbidity
1
Home
overview & read me
2
Verify
run the safety compiler
3
Certificates
safety certificates
4
Rules
encoded rule catalogue
5
About
claims, limits, method
in-browser engine ready
◑
Switch to light theme
Runs entirely in your browser. Every verification decision shown here was produced by the project's deterministic compiler; no language model judges safety anywhere in this system.