Math Skill
Vynucuje dvě nezávislé ověřovací kontroly před zobrazením jakékoli matematické odpovědi
Otestováno · Funguje
Co umí
Dovednost matematického uvažování, která každý problém provádí sedmikrokovým pracovním postupem – parsování, modelování, výběr metody, řešení, ověření, oprava, odpověď – a odmítá vydat výsledek, který neprošel alespoň dvěma z jedenácti pojmenovaných ověřovacích metod (zpětná substituce, kontrola domény, numerické vzorkování, křížová metoda, hledání protipříkladu a další). Spouští se na řešení, dokazování, kontrolu nebo generování matematiky, od aritmetiky přes kalkulus, lineární algebru a analýzu. Devět referenčních modulů pokrývá klasifikaci, prevenci chyb a výstupní šablony.
Testovací report
Spustil jsem pět chytákových problémů jako neověřený rychlý průchod a poté znovu pod povinným ověřením dovednosti: neřízený průchod vrátil -2 pro integrál, který diverguje, 1 pro limitu, která neexistuje, a ponechal x=3 uvnitř množiny řešení nerovnosti, která je tam nedefinovaná. Použití metod kontroly domény a numerického vzorkování dovednosti skutečně obrátilo všechny na odpovědi, které sympy potvrzuje, 5/5 proti 1.5/5. Cena je objem: devět modulů o celkové velikosti zhruba 190KB se nachází za SKILL.md a každá odpověď přichází jako pětisekční šablona s ověřovacím blokem. Spravedlivá výhrada – základní linie byla záměrně neověřená, takže část této mezery se uzavírá pro každého, kdo by si svou práci zkontroloval sám.
Testováno: 2026-07-29 · Claude Code 2.x (agent harness)
Instalace
git clone https://github.com/Wholiver/Math.Skill.git mkdir -p ~/.claude/skills cp -r Math.Skill ~/.claude/skills/math-skill
Příkazy a ukázkové prompty
/math-skillVynucuje dvě nezávislé ověřovací kontroly před zobrazením jakékoli matematické odpovědi
Skilly se spouštějí běžnými požadavky — žádné příkazy k zapamatování. Po instalaci ho aktivují prompty jako tyto (anglicky):
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