Formal theorem proving with research, testing, and verification phases
安装
npx skills add parcadei/Continuous-Claude-v3 --skill provenpx skills add parcadei/Continuous-Claude-v3 --skill prove -a claude-code -gnpx skills add parcadei/Continuous-Claude-v3 --skill prove -a codex -ggemini skills install https://github.com/parcadei/Continuous-Claude-v3.git --path .claude/skills/provegh skill install parcadei/Continuous-Claude-v3 provegit clone --depth 1 https://github.com/parcadei/Continuous-Claude-v3 /tmp/parcadei__Continuous-Claude-v3
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/parcadei__Continuous-Claude-v3/.claude/skills/prove ~/.claude/skills/prove # Claude Code
cp -R /tmp/parcadei__Continuous-Claude-v3/.claude/skills/prove ~/.agents/skills/prove # Codex, Cursor, Gemini CLI, Copilot, OpenCode