Solve Math Rigorously
Tvinger et moteksempel-søk før du stoler på et bevis – fanget sin(x)+cos(x) som oversteg 1 rett ved x=0 der naive spot-sjekker ser fine ut.
Bestått
Hva den gjør
En løser-først matte-skill: kartlegg problemet, velg en metode bevisst, løs i inspiserbare trinn, verifiser deretter med sanity/strukturelle/uavhengige/verktøystøttede sjekker før presentasjon av konfidens. Leverer lokale SymPy-baserte skript (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) og 15 referanse-spillebøker for foto-inntak, bevis, og metodevalg. Utløses av å løse ligninger/systemer, bevise eller motbevise en påstand, optimalisering, sjekke et svar, eller lese matte fra et bilde/PDF/whiteboard; de-prioriterer eksplisitt undervisnings-/arbeidsark-moduser med mindre det blir bedt om.
Testrapport
Kjørte den ekte medfølgende math_verify.py moteksempel-sjekkeren på den plausible påstanden 'sin(x)+cos(x) <= 1 for alle reelle x': den fant et ekte brudd ved x=0.00785 (verdi 1.00782) som grense-bare spot-sjekker ved x=0, pi/2, pi, 3pi/2 (alle gir nøyaktig +-1) fullstendig savner – en konkret, reproduserbar fangst av en falsk påstand en uforsiktig grunnleggende gjennomgang ville ha godkjent som sann.
Testet på: 2026-07-16 · Claude Code 2.x (agent harness)
Installer
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 et moteksempel-søk før du stoler på et bevis – fanget sin(x)+cos(x) som oversteg 1 rett ved x=0 der naive spot-sjekker ser fine ut.
Skills utløses av vanlige forespørsler — ingen kommandoer å huske. Etter installasjonen 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