prove
✓Formal theorem proving with research, testing, and verification phases
Installation
SKILL.md
For mathematicians who want verified proofs without learning Lean syntax.
First run of /prove will download Mathlib (2GB) via lake build.
| Loogle | Type signature search (PRIMARY) | loogle-search "pattern" | | Nia MCP | Library documentation | mcpniasearch | | Perplexity MCP | Proof strategies, papers | mcpperplexitysearch | | WebSearch | General references | WebSearch tool | | WebFetch | Specific paper/page content | WebFetch tool |
Formal theorem proving with research, testing, and verification phases Source: namesreallyblank/clorch.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/namesreallyblank/clorch --skill prove- Source
- namesreallyblank/clorch
- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-01
- Updated
- 2026-02-18
Quick answers
What is prove?
Formal theorem proving with research, testing, and verification phases Source: namesreallyblank/clorch.
How do I install prove?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/namesreallyblank/clorch --skill prove Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/namesreallyblank/clorch
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-01