Solve Math Rigorously
Tvingar en motexempel-sökning innan ett bevis litar på – fångade sin(x)+cos(x) över 1 precis vid x=0 där naiva punktkontroller ser bra ut.
Testad · Fungerar
Vad den gör
En lösnings-först matematikfärdighet: mappa problemet, välj en metod medvetet, lös i inspekterbara steg, verifiera sedan med rimlighets-/struktur-/oberoende/verktygsstödda kontroller innan konfidens presenteras. Levererar lokala SymPy-stödda skript (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) och 15 referens-playbooks för fotointag, bevis och metodval. Triggar på att lösa ekvationer/system, bevisa eller motbevisa ett påstående, optimering, kontrollera ett svar, eller läsa av matematik från ett foto/PDF/whiteboard; prioriterar explicit bort undervisnings-/övningslägen om det inte efterfrågas.
Testrapport
Körde den verkliga medföljande math_verify.py motexempel-kontrollern på påståendet 'sin(x)+cos(x) <= 1 för alla reella x' som såg rimligt ut: den hittade en verklig överträdelse vid x=0.00785 (värde 1.00782) som enbart gräns-punktkontroller vid x=0, pi/2, pi, 3pi/2 (alla ger exakt +-1) helt missar – en konkret, reproducerbar fångst av ett falskt påstående som en slarvig grundläggande genomgång skulle gummi-stämpla som sant.
Testad: 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
Kommandon och exempelprompter
/solve-math-rigorouslyTvingar en motexempel-sökning innan ett bevis litar på – fångade sin(x)+cos(x) över 1 precis vid x=0 där naiva punktkontroller ser bra ut.
Skills triggas av vanliga förfrågningar — inga kommandon att memorera. Efter installationen aktiverar prompter som dessa skillen (på engelska):
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