sk Skill · parcadei
prove
Formal theorem proving with research, testing, and verification phases
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 21
- 30-day movement
- starts with the next reading
- Related entries
- 3
- Connections
- 9
leanbashPython
- Host repository
- parcadei/Continuous-Claude-v3
- Installs, lifetime
- 502
- Installs, 8 weeks
- 21
- Allowed tools
- Bash, Read, Write, Edit, WebSearch, WebFetch, AskUserQuestion, Grep, Glob
- Host stars
- 3,942
- Host language
- Python