Claude
Code & Development
Trust: 55/100 (Fair)prove Guide
Formal theorem proving with research, testing, and verification phases
3,789 starsby parcadei
When to use prove
Formal theorem proving with research, testing, and verification phases
How to use prove
prove is a Claude skill in the SKILL.md format. Add it to your Claude environment from the source repository below, then it activates as a user-invocable skill when your task matches its description.
Details
PlatformClaude
CategoryCode & Development
Invocationuser-invocable
Modelany
Maintainerparcadei
LicenseMIT