SkillProof tested Claude skills

Math Skill

Forza due controlli di verifica indipendenti prima che venga mostrata qualsiasi risposta matematica

di Wholiver · Wholiver/Math.Skill

Promosso ★ 8.4/10

Math Skill — Forza due controlli di verifica indipendenti prima che venga mostrata qualsiasi risposta matematica

Cosa fa

Una skill di ragionamento matematico che esegue ogni problema attraverso un workflow di sette passi — parsing, modellazione, scelta di un metodo, risoluzione, verifica, correzione, risposta — e si rifiuta di produrre un risultato che non abbia superato almeno due di undici metodi di verifica nominati (sostituzione inversa, controllo di dominio, campionamento numerico, metodo incrociato, ricerca di controesempi e altri). Si attiva sulla risoluzione, dimostrazione, verifica o generazione di matematica, dall'aritmetica al calcolo, all'algebra lineare e all'analisi. Nove moduli di riferimento coprono classificazione, prevenzione errori e template di output.

Rapporto di test

Eseguiti cinque problemi trappola come un passaggio rapido non verificato e poi di nuovo sotto la verifica obbligatoria della skill: il passaggio non guidato ha restituito -2 per un integrale che diverge, 1 per un limite che non esiste, e ha lasciato x=3 all'interno dell'insieme soluzione di una disuguaglianza che è indefinita lì. L'applicazione dei metodi di controllo di dominio e campionamento numerico della skill per davvero ha convertito tutti questi in risposte che sympy conferma, 5/5 contro 1.5/5. Il prezzo è la mole: nove moduli per un totale di circa 190KB si trovano dietro il SKILL.md, e ogni risposta arriva come un template a cinque sezioni con un blocco di verifica. Giusto avvertimento — la baseline era deliberatamente non verificata, quindi parte di quel divario si chiude per chiunque avrebbe controllato il proprio lavoro.

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

Installazione

git clone https://github.com/Wholiver/Math.Skill.git
mkdir -p ~/.claude/skills
cp -r Math.Skill ~/.claude/skills/math-skill

Comandi e prompt di esempio

  • /math-skillForza due controlli di verifica indipendenti prima che venga mostrata qualsiasi risposta matematica

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

  • Solve this integral and double-check that the answer isn't wrong
  • Prove that the square root of 2 is irrational, verify each step
  • Check my solution to this ODE and confirm the domain restrictions

Rapporto completo →