SkillProof tested Claude skills

Solve Math Rigorously

Forza una ricerca di controesempio prima di fidarsi di una dimostrazione — ha catturato sin(x)+cos(x) che supera 1 proprio a x=0 dove i controlli puntuali ingenui sembrano a posto.

di googlarz · googlarz/math-skill

Promosso ★ 9.6/10

Solve Math Rigorously — Forza una ricerca di controesempio prima di fidarsi di una dimostrazione — ha catturato sin(x)+cos(x) che supera 1 proprio a x=0 dove i controlli puntuali ingenui sembrano a posto.

Cosa fa

Un'abilità matematica incentrata sul risolutore: mappa il problema, scegli un metodo deliberatamente, risolvi in passaggi ispezionabili, quindi verifica con controlli di sanità/strutturali/indipendenti/assistiti da strumenti prima di presentare la confidenza. Fornisce script locali basati su SymPy (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) e 15 playbook di riferimento per l'acquisizione di foto, dimostrazioni e selezione di metodi. Si attiva con la risoluzione di equazioni/sistemi, la dimostrazione o confutazione di un'affermazione, l'ottimizzazione, il controllo di una risposta o la lettura di matematica da una foto/PDF/lavagna; de-prioritizza esplicitamente le modalità di insegnamento/scheda di lavoro a meno che non venga richiesto.

Rapporto di test

Eseguito il vero checker di controesempi math_verify.py incluso sull'affermazione dall'aspetto plausibile 'sin(x)+cos(x) <= 1 per ogni x reale': ha trovato una violazione genuina a x=0.00785 (valore 1.00782) che i controlli puntuali solo al limite a x=0, pi/2, pi, 3pi/2 (tutti danno esattamente +-1) mancano completamente — una cattura concreta e riproducibile di un'affermazione falsa che un passaggio di base negligente approverebbe come vera.

Testato il: 2026-07-16 · Claude Code 2.x (agent harness)

Installazione

git clone https://github.com/googlarz/math-skill
mkdir -p ~/.claude/skills
cp -r math-skill ~/.claude/skills/solve-math-rigorously

Comandi e prompt di esempio

  • /solve-math-rigorouslyForza una ricerca di controesempio prima di fidarsi di una dimostrazione — ha catturato sin(x)+cos(x) che supera 1 proprio a x=0 dove i controlli puntuali ingenui sembrano a posto.

Gli skill si attivano con richieste in linguaggio naturale, senza comandi da ricordare. Dopo l'installazione, prompt come questi lo attivano (in inglese):

  • Prove or disprove that sin(x) plus cos(x) is always at most 1
  • Check my optimization solution for errors before I trust it
  • Solve this system of equations and verify it with an independent check

Rapporto completo →