SkillProof tested Claude skills

Math Skill

Fuerza dos verificaciones independientes antes de mostrar cualquier respuesta matemática

Por Wholiver · Wholiver/Math.Skill

Probado · Funciona ★ 8.4/10

Math Skill — Fuerza dos verificaciones independientes antes de mostrar cualquier respuesta matemática

Qué hace

Una habilidad de razonamiento matemático que ejecuta cada problema a través de un flujo de trabajo de siete pasos — parse, model, choose a method, solve, verify, correct, answer — y se niega a emitir un resultado que no haya pasado al menos dos de once métodos de verificación nombrados (back-substitution, domain check, numerical sampling, cross-method, counterexample search y otros). Se activa al resolver, probar, verificar o generar matemáticas, desde aritmética hasta cálculo, álgebra lineal y análisis. Nueve módulos de referencia cubren clasificación, prevención de errores y plantillas de salida.

Informe de la prueba

Ejecuté cinco problemas trampa como un pase rápido no verificado y luego nuevamente bajo la verificación obligatoria de la habilidad: el pase no guiado devolvió -2 para una integral que diverge, 1 para un límite que no existe, y dejó x=3 dentro del conjunto de soluciones de una desigualdad que está indefinida allí. Aplicar los métodos de domain-check y numerical-sampling de la habilidad realmente cambió todos ellos a las respuestas que sympy confirma, 5/5 contra 1.5/5. El precio es el volumen: nueve módulos que suman aproximadamente 190KB se encuentran detrás del SKILL.md, y cada respuesta llega como una plantilla de cinco secciones con un bloque de verificación. Justa advertencia — la línea base fue deliberadamente no verificada, por lo que parte de esa brecha se cierra para cualquiera que hubiera revisado su propio trabajo.

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

Instalación

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

Comandos y prompts de ejemplo

  • /math-skillFuerza dos verificaciones independientes antes de mostrar cualquier respuesta matemática

Los skills se activan con peticiones en lenguaje natural, sin comandos que memorizar. Tras instalarlo, prompts como estos lo activan (en inglés):

  • 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

Informe completo →