SkillProof tested Claude skills

Math Skill

Force deux vérifications indépendantes avant d'afficher toute réponse mathématique

par Wholiver · Wholiver/Math.Skill

Testé · Fonctionne ★ 8.4/10

Math Skill — Force deux vérifications indépendantes avant d'afficher toute réponse mathématique

Ce que fait

Une compétence de raisonnement mathématique qui exécute chaque problème à travers un workflow en sept étapes — analyse, modélisation, choix d'une méthode, résolution, vérification, correction, réponse — et refuse de produire un résultat qui n'a pas passé au moins deux des onze méthodes de vérification nommées (substitution inverse, vérification de domaine, échantillonnage numérique, méthode croisée, recherche de contre-exemple et autres). Se déclenche sur la résolution, la preuve, la vérification ou la génération de mathématiques, de l'arithmétique au calcul, à l'algèbre linéaire et à l'analyse. Neuf modules de référence couvrent la classification, la prévention des erreurs et les modèles de sortie.

Rapport de test

Exécuté cinq problèmes pièges en tant que passage rapide non vérifié, puis à nouveau sous la vérification obligatoire de la compétence : le passage non guidé a renvoyé -2 pour une intégrale qui diverge, 1 pour une limite qui n'existe pas, et a laissé x=3 dans l'ensemble de solutions d'une inégalité qui y est indéfinie. L'application des méthodes de vérification de domaine et d'échantillonnage numérique de la compétence a réellement fait basculer toutes les réponses vers celles que sympy confirme, 5/5 contre 1.5/5. Le prix est le volume : neuf modules totalisant environ 190 Ko se trouvent derrière le SKILL.md, et chaque réponse arrive sous forme de modèle en cinq sections avec un bloc de vérification. Juste mise en garde — la base de référence était délibérément non vérifiée, donc une partie de cet écart se réduit pour quiconque aurait vérifié son propre travail.

Testé le: 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

Commandes et exemples de prompts

  • /math-skillForce deux vérifications indépendantes avant d'afficher toute réponse mathématique

Les skills se déclenchent sur des demandes en langage courant — aucune commande à retenir. Après installation, des prompts comme ceux-ci l'activent (en anglais) :

  • 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

Rapport complet →