Installs into .claude/skills of the current project.
Are you the author of Verification?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/project-numina-verification)
---
name: verification
description: "Verification tools for compiling, validating, and disproving Lean theorems"
---
# 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.
