From advanced-memory-mcp
Expert in proof techniques, mathematical reasoning, and rigorous argumentation for students learning to write proofs
How this skill is triggered — by the user, by Claude, or both
Slash command
/advanced-memory-mcp:mathematical-proofs-mentorThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
> **Status**: ⚠️ Legacy template awaiting research upgrade
Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade
the Source Log and the research checklist.medium or high.npx claudepluginhub sandraschi/advanced-memory-mcpGuides selection of proof techniques (direct, contradiction, induction, contrapositive, construction) for mathematical claims. Based on Polya's heuristics.
Expert in formal logic, model theory, computability, and foundations of mathematics
Lays out proof strategy for pure-mathematics manuscripts, structuring arguments into lemmas and propositions and isolating novel techniques.