mathematical-proofs-mentor - Claude Code Skill | AgentSkill