Solve Math Rigorously
Vynucuje hledání protipříkladu před důvěrou v důkaz — zachytil sin(x)+cos(x) přesahující 1 přesně v x=0, kde naivní dílčí kontroly vypadají v pořádku.
Otestováno · Funguje
Co umí
Dovednost zaměřená nejprve na řešení matematických problémů: zmapujte problém, záměrně vyberte metodu, řešte v kontrolovatelných krocích, poté ověřte pomocí kontrol zdravého rozumu/strukturálních/nezávislých/nástrojově asistovaných kontrol před prezentací důvěry. Dodává lokální skripty založené na SymPy (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) a 15 referenčních playbooků pro příjem fotografií, důkazy a výběr metody. Spouští se na řešení rovnic/systémů, dokazování nebo vyvracení tvrzení, optimalizaci, kontrolu odpovědi nebo čtení matematiky z fotografie/PDF/tabule; explicitně odsouvá režimy výuky/pracovních listů, pokud není požádáno.
Testovací report
Spustil jsem skutečný přiložený kontrolor protipříkladů math_verify.py na věrohodně vypadající tvrzení 'sin(x)+cos(x) <= 1 pro všechna reálná x': našel skutečné porušení při x=0.00785 (hodnota 1.00782), které hraniční kontroly pouze v x=0, pi/2, pi, 3pi/2 (všechny dávají přesně +-1) zcela minou — konkrétní, reprodukovatelný záchyt falešného tvrzení, které by neopatrný základní průchod schválil jako pravdivé.
Testováno: 2026-07-16 · Claude Code 2.x (agent harness)
Instalace
git clone https://github.com/googlarz/math-skill mkdir -p ~/.claude/skills cp -r math-skill ~/.claude/skills/solve-math-rigorously
Příkazy a ukázkové prompty
/solve-math-rigorouslyVynucuje hledání protipříkladu před důvěrou v důkaz — zachytil sin(x)+cos(x) přesahující 1 přesně v x=0, kde naivní dílčí kontroly vypadají v pořádku.
Skilly se spouštějí běžnými požadavky — žádné příkazy k zapamatování. Po instalaci ho aktivují prompty jako tyto (anglicky):
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