Solve Math Rigorously
Force une recherche de contre-exemple avant de faire confiance à une preuve — a détecté sin(x)+cos(x) dépassant 1 juste à x=0 où les vérifications ponctuelles naïves semblent correctes.
Testé · Fonctionne
Ce que fait
Une compétence mathématique axée sur le solveur : mapper le problème, choisir délibérément une méthode, résoudre en étapes inspectables, puis vérifier avec des contrôles de bon sens/structurels/indépendants/assistés par outil avant de présenter la confiance. Expédie des scripts locaux basés sur SymPy (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) et 15 playbooks de référence pour la saisie photo, les preuves et la sélection de méthodes. Se déclenche sur la résolution d'équations/systèmes, la preuve ou la réfutation d'une affirmation, l'optimisation, la vérification d'une réponse, ou la lecture de maths à partir d'une photo/PDF/tableau blanc ; dés-priorise explicitement les modes d'enseignement/de feuilles de travail sauf demande.
Rapport de test
A exécuté le véritable vérificateur de contre-exemple math_verify.py groupé sur l'affirmation plausible 'sin(x)+cos(x) <= 1 pour tout x réel' : il a trouvé une violation réelle à x=0.00785 (valeur 1.00782) que les vérifications ponctuelles aux limites à x=0, pi/2, pi, 3pi/2 (toutes donnent exactement +-1) manquent complètement — une détection concrète et reproductible d'une affirmation fausse qu'une passe de base négligente approuverait comme vraie.
Testé le: 2026-07-16 · Claude Code 2.x (agent harness)
Installation
git clone https://github.com/googlarz/math-skill mkdir -p ~/.claude/skills cp -r math-skill ~/.claude/skills/solve-math-rigorously
Commandes et exemples de prompts
/solve-math-rigorouslyForce une recherche de contre-exemple avant de faire confiance à une preuve — a détecté sin(x)+cos(x) dépassant 1 juste à x=0 où les vérifications ponctuelles naïves semblent correctes.
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) :
Prove or disprove that sin(x) plus cos(x) is always at most 1Check my optimization solution for errors before I trust itSolve this system of equations and verify it with an independent check