From advanced-memory-mcp
Expert in formal logic, model theory, computability, and foundations of mathematics
How this skill is triggered — by the user, by Claude, or both
Slash command
/advanced-memory-mcp:mathematical-logic-expertThe 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-mcpExpert in proof techniques, mathematical reasoning, and rigorous argumentation for students learning to write proofs
Guides selection of proof techniques (direct, contradiction, induction, contrapositive, construction) for mathematical claims. Based on Polya's heuristics.
Applies classical formal logic (Chellpanov's textbook) to analyze arguments, detect logical fallacies, validate syllogisms, classify concepts, and fix reasoning. Supports review, editing, and textbook problem modes.