Solve Math Rigorously
Tvinger en mod-eksempel-søgning, før et bevis stoles på — fangede sin(x)+cos(x) over 1 lige ved x=0, hvor naive spot-checks ser fine ud.
Testet · Virker
Hvad det gør
En solver-først matematik skill: kortlæg problemet, vælg en metode bevidst, løs i inspicerbare trin, verificér derefter med sanity/strukturel/uafhængig/værktøjs-assisteret kontrol, før tillid præsenteres. Leverer lokale SymPy-baserede scripts (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) og 15 reference playbooks til foto-input, beviser og metodevalg. Triggere på løsning af ligninger/systemer, bevis eller modbevisning af en påstand, optimering, kontrol af et svar, eller læsning af matematik fra et foto/PDF/whiteboard; prioriterer eksplicit undervisnings/arbejdsark-tilstande fra, medmindre det anmodes om.
Testrapport
Kørte den reelle medfølgende math_verify.py mod-eksempel-checker på den plausible-udseende påstand 'sin(x)+cos(x) <= 1 for alle reelle x': den fandt en reel overtrædelse ved x=0.00785 (værdi 1.00782), som grænse-kun spot-checks ved x=0, pi/2, pi, 3pi/2 (alle giver præcis +-1) fuldstændig misser — en konkret, reproducerbar fangst af en falsk påstand, som en skødesløs baseline-gennemgang ville stemple som sand.
Testet: 2026-07-16 · Claude Code 2.x (agent harness)
Installation
git clone https://github.com/googlarz/math-skill mkdir -p ~/.claude/skills cp -r math-skill ~/.claude/skills/solve-math-rigorously
Kommandoer og eksempelprompter
/solve-math-rigorouslyTvinger en mod-eksempel-søgning, før et bevis stoles på — fangede sin(x)+cos(x) over 1 lige ved x=0, hvor naive spot-checks ser fine ud.
Skills udløses af almindelige forespørgsler — ingen kommandoer at huske. Efter installationen aktiverer prompter som disse skillen (på engelsk):
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