SkillsAdd

parcadei/continuous-claude-v3

proof-theory

Problem-solving strategies for proof theory in mathematical logic

First seen Apr 5, 2026

Installation

$ npx skills add https://github.com/parcadei/continuous-claude-v3
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

game-design-theory Similar name
pluginagentmarketplace/custom-plugin-game-developer

Comprehensive game design theory covering MDA framework, player psychology, balance principles,…

2.1K installs
perf-theory-tester Similar name
composio-community/awesome-claude-plugins

Use when running controlled perf experiments to validate hypotheses.

479 installs
perf-theory-gatherer Similar name
composio-community/awesome-claude-plugins

Use when generating performance hypotheses backed by git history and code evidence.

479 installs
dbs-theory-grounding Similar name
dontbesilent2025/dbskill

理论溯源与案例重释。审查 PPT、课程、文案或方法论中的经验判断，?

181 installs
color-theory-palette-harmony-expert Similar name
curiositech/some_claude_skills

Expert in color theory, palette harmony, and perceptual color science for computational photo c…

407 installs
thinking-theory-of-constraints Similar name
tjboudreaux/cc-thinking-skills

When throughput or latency is pipeline-limited, identify the single binding constraint and expl…

9 installs

Also in this package

Other skills from parcadei/continuous-claude-v3 · top by installs.

npx skills add https://github.com/parcadei/continuous-claude-v3
discovery-interview 4.1K math 857 premortem 841 github-search 712 dead-code 690 refactor 612 graceful-degradation 592 explore 565 agentic-workflow 561 modular-code 555

Browse all from parcadei/continuous-claude-v3

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Also listed on

Alternate registries and mirrors of this skill.

Repository health

Stars 3.9K
License LICENSE
Default branch main
Open issues 30
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 13 installs