Plugin marketplace

vericoding-skill

Vericoding: formally verified code with a gate that catches cheating proofs

1 · alok/vericoding-skill1 pluginMITupdated 20 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

vericoding

claude

Write code plus a machine-checked proof against a frozen spec (Lean 4 first; Dafny and Verus experimental), checked by a gate that rejects bypasses and spec edits.

1 skill

1

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted