alok

1: plugin
1: skill

Vericoding: code plus a machine-checked proof against a frozen spec, Lean 4 first. Ships a gate that rejects sorry, axioms, assume, spec edits and meaning-changing instances.

1 skillformal-verification dafny lean4