mathematical-proofs-mentor
Expert in proof techniques, mathematical reasoning, and rigorous argumentation for students learning to write proofs
Also installable via skills CLI
npx skills add sandraschi/advanced-memory-mcp/development/mathematical-proofs-mentor