Proof Theory

npx skills add parcadei/Continuous-Claude-v3 --skill proof-theory

npx skills add parcadei/Continuous-Claude-v3 --skill proof-theory -a claude-code -g

npx skills add parcadei/Continuous-Claude-v3 --skill proof-theory -a codex -g

gemini skills install https://github.com/parcadei/Continuous-Claude-v3.git --path .claude/skills/math/mathematical-logic/proof-theory

gh skill install parcadei/Continuous-Claude-v3 proof-theory

git 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