CAIN-42 CAIN Studio
Sign inGet started
Menu
25CAIN-42 Top 25 › VeriCoding (Z3) › Verify it yourself

Verify it yourself

  1. Write your own function and contract, especially where Python and an SMT encoding could disagree: negative // and %, nested conditionals, min/max with expressions, division guarded by and/or.
  2. Ask the live route (demo) or POST /vericoding-keystone/check-source.
  3. For every counterexample, run your function on it in Python. For every proof, try to find an input that breaks it.
  4. Download a certificate and re-check it offline (how). Flip contract_holds in the JSON and re-check: it must say INVALID.
  5. A false "proved" is the finding that matters most. Tell us; we will publish it.

FIRME AI CORPORATION · CAIN-42 is a Byzantine trust fabric. Numbers marked "our own check" were run by us, not by an independent party. Nothing on these pages is a certification.