SkillProof tested Claude skills

Math Skill

Tvinger to uafhængige verificeringskontroller, før et matematik-svar vises

Af Wholiver · Wholiver/Math.Skill

Testet · Virker ★ 8.4/10

Math Skill — Tvinger to uafhængige verificeringskontroller, før et matematik-svar vises

Hvad det gør

En matematisk ræsonnement-skill, der kører hvert problem gennem et syv-trins workflow – parse, model, vælg en metode, løs, verificer, korriger, svar – og nægter at udskrive et resultat, der ikke har bestået mindst to af elleve navngivne verificeringsmetoder (tilbage-substitution, domænekontrol, numerisk sampling, krydsmetode, modeksempelssøgning og andre). Udløses ved løsning, bevis, kontrol eller generering af matematik, fra aritmetik gennem calculus, lineær algebra og analyse. Ni referencemoduler dækker klassifikation, fejlforebyggelse og output-skabeloner.

Testrapport

Kørte fem fælde-problemer som et uverificeret hurtigt pas og derefter igen under skill'ens obligatoriske verificering: det uguidede pas returnerede -2 for et integral, der divergerer, 1 for en grænse, der ikke eksisterer, og efterlod x=3 inden for løsningsmængden af en ulighed, der er udefineret der. Ved at anvende skill'ens domæne-check og numeriske sampling-metoder i praksis vendte alle til de svar, sympy bekræfter, 5/5 mod 1.5/5. Prisen er bulk: ni moduler på i alt ca. 190KB ligger bag SKILL.md, og hvert svar ankommer som en fem-sektions skabelon med en verificeringsblok. Fair forbehold – baseline var bevidst uverificeret, så en del af det hul lukker for enhver, der ville have kontrolleret deres eget arbejde.

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

Installation

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

Kommandoer og eksempelprompter

  • /math-skillTvinger to uafhængige verificeringskontroller, før et matematik-svar vises

Skills udløses af almindelige forespørgsler — ingen kommandoer at huske. Efter installationen aktiverer prompter som disse skillen (på engelsk):

  • 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

Læs hele rapporten →