Solve Math Rigorously
Dwingt een tegenvoorbeeld-zoekopdracht af voordat een bewijs wordt vertrouwd — ving sin(x)+cos(x) groter dan 1 precies bij x=0 waar naïeve spot-checks er goed uitzien.
Getest · Werkt
Wat het doet
Een solver-eerst wiskundige skill: map het probleem, kies bewust een methode, los op in inspecteerbare stappen, verifieer vervolgens met sanity/structurele/onafhankelijke/tool-ondersteunde checks voordat je vertrouwen presenteert. Levert lokale SymPy-ondersteunde scripts (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) en 15 referentie-playbooks voor foto-invoer, bewijzen en methodekeuze. Triggers op het oplossen van vergelijkingen/systemen, het bewijzen of weerleggen van een claim, optimalisatie, het controleren van een antwoord, of het lezen van wiskunde van een foto/PDF/whiteboard; de-prioriteert expliciet onderwijs-/werkbladmodi tenzij gevraagd.
Testrapport
De echte gebundelde math_verify.py tegenvoorbeeld-checker uitgevoerd op de plausibel-lijkende claim 'sin(x)+cos(x) <= 1 voor alle reële x': het vond een echte schending bij x=0.00785 (waarde 1.00782) die grenswaarde-alleen spot-checks bij x=0, pi/2, pi, 3pi/2 (allemaal geven ze precies +-1) volledig missen — een concrete, reproduceerbare vangst van een valse claim die een onzorgvuldige basis-pas als waar zou rubberstempelen.
Getest op: 2026-07-16 · Claude Code 2.x (agent harness)
Installatie
git clone https://github.com/googlarz/math-skill mkdir -p ~/.claude/skills cp -r math-skill ~/.claude/skills/solve-math-rigorously
Commando's en voorbeeldprompts
/solve-math-rigorouslyDwingt een tegenvoorbeeld-zoekopdracht af voordat een bewijs wordt vertrouwd — ving sin(x)+cos(x) groter dan 1 precies bij x=0 waar naïeve spot-checks er goed uitzien.
Skills reageren op gewone verzoeken — geen commando's om te onthouden. Na installatie activeren prompts zoals deze de skill (in het Engels):
Prove or disprove that sin(x) plus cos(x) is always at most 1Check my optimization solution for errors before I trust itSolve this system of equations and verify it with an independent check