🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Expert in proof techniques, mathematical reasoning, and rigorous argumentation for students learning to write proofs
Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade
the Source Log
medium
high