Problem-solving strategies for proof theory in mathematical logic
This skill does not declare a tool allowlist. The agent host applies whatever default tools are available at runtime.
SKILL.md / Manifest
https://raw.githubusercontent.com/parcadei/continuous-claude-v3/main/.claude/skills/math/mathematical-logic/proof-theory/SKILL.mdRegistry
github (via claudemarketplaces.com)