Math Skill
Dwingt twee onafhankelijke verificatiecontroles af voordat een wiskundig antwoord wordt getoond
Getest · Werkt
Wat het doet
Een wiskundige redeneerskill die elk probleem door een zevenstappen-workflow leidt — parse, model, kies een methode, los op, verifieer, corrigeer, antwoord — en weigert een resultaat uit te voeren dat niet ten minste twee van elf benoemde verificatiemethoden heeft doorstaan (back-substitution, domain check, numerical sampling, cross-method, counterexample search en andere). Activeert bij het oplossen, bewijzen, controleren of genereren van wiskunde, van rekenkunde tot calculus, lineaire algebra en analyse. Negen referentiemodules behandelen classificatie, foutpreventie en uitvoersjablonen.
Testrapport
Vijf valkuilproblemen uitgevoerd als een ongeverifieerde snelle pass en vervolgens opnieuw onder de verplichte verificatie van de skill: de ongeleide pass retourneerde -2 voor een integraal die divergeert, 1 voor een limiet die niet bestaat, en liet x=3 binnen de oplossingsverzameling van een ongelijkheid die daar ongedefinieerd is. Het toepassen van de domain-check en numerical-sampling methoden van de skill in de praktijk zette ze allemaal om naar de antwoorden die sympy bevestigt, 5/5 tegen 1.5/5. De prijs is omvang: negen modules van in totaal ongeveer 190KB zitten achter de SKILL.md, en elk antwoord arriveert als een vijfdelige template met een verificatieblok. Eerlijke waarschuwing — de baseline was opzettelijk ongeverifieerd, dus een deel van die kloof wordt gedicht voor iedereen die zijn eigen werk zou hebben gecontroleerd.
Getest op: 2026-07-29 · Claude Code 2.x (agent harness)
Installatie
git clone https://github.com/Wholiver/Math.Skill.git mkdir -p ~/.claude/skills cp -r Math.Skill ~/.claude/skills/math-skill
Commando's en voorbeeldprompts
/math-skillDwingt twee onafhankelijke verificatiecontroles af voordat een wiskundig antwoord wordt getoond
Skills reageren op gewone verzoeken — geen commando's om te onthouden. Na installatie activeren prompts zoals deze de skill (in het Engels):
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