Verified record · from the answer index
prove
skilltested · static-verifiedscore 47/100signed passport ✓506 uses
Formal theorem proving with research, testing, and verification phases
Declared tools (1)
prove
skill:parcadei/continuous-claude-v3/prove · published by parcadei · source repository