alok/vericoding
v0.1.1MIT
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.
scripts
- vericoding
- evals/array-search-benchmark/place-files.sh
- evals/loop-mvcgen-proof/place-files.sh
- evals/spec-conflicts-with-intent/place-files.sh
- scripts/vc_check.py
plugin.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
- Alok Singhhttps://github.com/alok
- license
- MIT
- repository
- https://github.com/alok/vericoding-skill
- extensions
- com.github.awesome-copilot
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/"]
}
}
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- 3shell scripts
- vc_check.py
- 3YAML files
- 10other files
Client extensions
Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.
- com.github.awesome-copilot