prove
@parcadei/prove
Formal theorem proving with research, testing, and verification phases
Installation
$skills install @parcadei/prove
Claude Code
Cursor
Copilot
Codex
Antigravity
Details
Repositoryparcadei/Continuous-Claude-v3
Path.claude/skills/prove/SKILL.md
Branchmain
Scoped Name@parcadei/prove
Usage
After installing, this skill will be available to your AI coding assistant.
Verify installation:
skills list