Service

Vericoding Gate

FULL PLAN ONLY

Formally verifies a code diff's equivalence or contract compliance via real Z3 SMT solving.

No per-call charge -- unlimited under your subscription

Worked example

Verify Equivalence

curl -X POST https://cainstudio.online/vericoding-gate/v1/verify/equivalence \
  -H "X-API-Key: $CAIN_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{"old_source": "...", "new_source": "..."}'

Try it live in your dashboard → See pricing →