project-numina/numina-lean-agent/verification
Claude Code and agent skill by project-numina/numina-lean-agent
Trust tier 2
- community
Source check pending
Checking that the SKILL.md file is still in the repository.
Verification tools for compiling, validating, and disproving Lean theorems
Install
npx vskill@latest install project-numina/numina-lean-agent/verificationSKILL.md
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.
Security
- Security scanPassed, 100 of 100Pattern checks on the skill's files.
- Model reviewNot runA model review is scheduled for the next rescan.
Quality evaluation
- Task evaluationNot runNo evaluation yet. Run one in Skill Studio.
Source
- SKILL.md in the repositoryCheckingskills/verification/SKILL.md
Popularity
- 7-day trend score
- 0
Not refreshed yet.
Works with
Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.
- Claude Code
- Cursor
- GitHub Copilot
- Windsurf
- Codex
- Gemini CLI
- Cline
- Amp
- Roo Code
- Goose
- Continue
- Kilo Code
- Junie
- Trae
- OpenHands
- Qwen Code
- AI Agent
- Tabnine Chat
- Sourcegraph Cody
- Amazon Q
- Firebase Genkit
- Sweep
- Devin
- Phind
- Mentat
- Claude Desktop
- Aider
- GPT Pilot
- Plandex
- bolt.new
- v0
- Replit Agent
- Anse
- TypingMind
- BetterChatGPT
- LibreChat
- Warp AI
- Pieces
- Fig AI
Embed badge
[](https://verified-skill.com/skills/project-numina/numina-lean-agent/verification)