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