Problem-solving strategies for proof theory in mathematical logic
安装
npx skills add parcadei/Continuous-Claude-v3 --skill proof-theorynpx skills add parcadei/Continuous-Claude-v3 --skill proof-theory -a claude-code -gnpx skills add parcadei/Continuous-Claude-v3 --skill proof-theory -a codex -ggemini skills install https://github.com/parcadei/Continuous-Claude-v3.git --path .claude/skills/math/mathematical-logic/proof-theorygh skill install parcadei/Continuous-Claude-v3 proof-theorygit 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/math/mathematical-logic/proof-theory ~/.claude/skills/proof-theory # Claude Code
cp -R /tmp/parcadei__Continuous-Claude-v3/.claude/skills/math/mathematical-logic/proof-theory ~/.agents/skills/proof-theory # Codex, Cursor, Gemini CLI, Copilot, OpenCode