ai-commonsense-reasoning: Claude Code and agent skill by r-irbe/proof-skills | Verified Skill