plugin.json

{
  "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
  "name": "vericoding",
  "version": "0.1.1",
  "description": "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.",
  "author": {
    "name": "Alok Singh",
    "url": "https://github.com/alok"
  },
  "homepage": "https://github.com/alok/vericoding-skill",
  "repository": "https://github.com/alok/vericoding-skill",
  "license": "MIT",
  "keywords": ["vericoding", "formal-verification", "lean4", "theorem-proving", "dafny", "verus"],
  "extensions": {
    "com.github.awesome-copilot": {
      "skills": ["./skills/vericoding/"]
    }
  }
}