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