SkillProof tested Claude skills

Math Skill

Tvingar fram två oberoende verifieringskontroller innan något matematiskt svar visas

av Wholiver · Wholiver/Math.Skill

Testad · Fungerar ★ 8.4/10

Math Skill — Tvingar fram två oberoende verifieringskontroller innan något matematiskt svar visas

Vad den gör

En matematisk resonemangsfärdighet som kör varje problem genom ett sju-stegs arbetsflöde – parse, model, choose a method, solve, verify, correct, answer – och vägrar att mata ut ett resultat som inte har passerat minst två av elva namngivna verifieringsmetoder (back-substitution, domain check, numerical sampling, cross-method, counterexample search och andra). Utlöses vid lösning, bevisning, kontroll eller generering av matematik, från aritmetik genom kalkyl, linjär algebra och analys. Nio referensmoduler täcker klassificering, felprevention och utdatamallar.

Testrapport

Körde fem fällproblem som en overifierad snabbgenomgång och sedan igen under färdighetens obligatoriska verifiering: det oguidade passet returnerade -2 för en integral som divergerar, 1 för en gräns som inte existerar, och lämnade x=3 inom lösningsmängden för en olikhet som är odefinierad där. Att arbeta med färdighetens domain-check och numerical-sampling-metoder på riktigt vände alla till de svar sympy bekräftar, 5/5 mot 1.5/5. Priset är bulk: nio moduler på totalt cirka 190KB ligger bakom SKILL.md, och varje svar anländer som en fem-sektionsmall med ett verifieringsblock. Rättvis varning – baslinjen var medvetet overifierad, så en del av det gapet stängs för den som skulle ha kontrollerat sitt eget arbete.

Testad: 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

Kommandon och exempelprompter

  • /math-skillTvingar fram två oberoende verifieringskontroller innan något matematiskt svar visas

Skills triggas av vanliga förfrågningar — inga kommandon att memorera. Efter installationen aktiverar prompter som dessa skillen (på engelska):

  • 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 hela rapporten →