name: verification description: "Verification tools for compiling, validating, and disproving Lean theorems" metadata: version: "1.0.0"
Verification Tools
Tools for verifying Lean code correctness.
Available Tools
| Tool | Purpose | When to use | |
|---|
| lean-check | Compile a Lean file and report errors (local, no API key) | First step to validate any proof attempt | |
| axle verify-proof | Validate a proof matches a formal statement | When you need to confirm a proof proves exactly the right theorem | |
| axle disprove | Attempt to disprove theorems by proving negation | Before investing effort in a proof, check if the conjecture is false | |
For full parameters and examples, read the corresponding reference-<tool>.md file in this directory.