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