Math Skill
Tvinger to uavhengige verifiseringssjekker før noe matte-svar vises
Bestått
Hva den gjør
En matematisk resonneringsferdighet som kjører hvert problem gjennom en syv-trinns arbeidsflyt – parse, modell, velge metode, løse, verifisere, korrigere, svare – og nekter å produsere et resultat som ikke har bestått minst to av elleve navngitte verifiseringsmetoder (tilbake-substitusjon, domenesjekk, numerisk sampling, kryssmetode, moteksempel-søk og andre). Utløses ved løsning, bevis, sjekking eller generering av matematikk, fra aritmetikk gjennom kalkulus, lineær algebra og analyse. Ni referansemoduler dekker klassifisering, feilforebygging og utdatamaler.
Testrapport
Kjørte fem felleproblemer som en uverifisert hurtigpass og deretter igjen under ferdighetens obligatoriske verifisering: den uguidede passet returnerte -2 for et integral som divergerer, 1 for en grense som ikke eksisterer, og lot x=3 være inne i løsningssettet til en ulikhet som er udefinert der. Å jobbe med ferdighetens domenesjekk og numeriske samplingmetoder for alvor snudde alle til svarene sympy bekrefter, 5/5 mot 1.5/5. Prisen er bulk: ni moduler på totalt omtrent 190KB ligger bak SKILL.md, og hvert svar kommer som en fem-seksjons mal med en verifiseringsblokk. Rettferdig forbehold – baselinen var bevisst uverifisert, så en del av det gapet lukkes for alle som ville ha sjekket sitt eget arbeid.
Testet på: 2026-07-29 · Claude Code 2.x (agent harness)
Installer
git clone https://github.com/Wholiver/Math.Skill.git mkdir -p ~/.claude/skills cp -r Math.Skill ~/.claude/skills/math-skill
Kommandoer og eksempelprompter
/math-skillTvinger to uavhengige verifiseringssjekker før noe matte-svar vises
Skills utløses av vanlige forespørsler — ingen kommandoer å huske. Etter installasjonen aktiverer prompter som disse skillen (på engelsk):
Solve this integral and double-check that the answer isn't wrongProve that the square root of 2 is irrational, verify each stepCheck my solution to this ODE and confirm the domain restrictions