SkillProof tested Claude skills

Solve Math Rigorously

Fuerza una búsqueda de contraejemplo antes de confiar en una prueba — detectó que sin(x)+cos(x) excede 1 justo en x=0 donde las comprobaciones puntuales ingenuas se ven bien.

Por googlarz · googlarz/math-skill

Probado · Funciona ★ 9.6/10

Solve Math Rigorously — Fuerza una búsqueda de contraejemplo antes de confiar en una prueba — detectó que sin(x)+cos(x) excede 1 justo en x=0 donde las comprobaciones puntuales ingenuas se ven bien.

Qué hace

Una habilidad matemática primero resolutora: mapea el problema, elige un método deliberadamente, resuelve en pasos inspeccionables, luego verifica con comprobaciones de cordura/estructurales/independientes/asistidas por herramientas antes de presentar la confianza. Envía scripts locales basados en SymPy (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) y 15 guías de referencia para entrada de fotos, pruebas y selección de métodos. Se activa con la resolución de ecuaciones/sistemas, la prueba o refutación de una afirmación, la optimización, la verificación de una respuesta o la lectura de matemáticas desde una foto/PDF/pizarra; desprioriza explícitamente los modos de enseñanza/hoja de trabajo a menos que se solicite.

Informe de la prueba

Ejecuté el verificador de contraejemplos real del script math_verify.py incluido en la afirmación aparentemente plausible 'sin(x)+cos(x) <= 1 para todo x real': encontró una violación genuina en x=0.00785 (valor 1.00782) que las comprobaciones puntuales solo de límites en x=0, pi/2, pi, 3pi/2 (todas dan exactamente +-1) pasan completamente por alto — una detección concreta y reproducible de una afirmación falsa que un pase base descuidado aprobaría como verdadera.

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

Instalación

git clone https://github.com/googlarz/math-skill
mkdir -p ~/.claude/skills
cp -r math-skill ~/.claude/skills/solve-math-rigorously

Comandos y prompts de ejemplo

  • /solve-math-rigorouslyFuerza una búsqueda de contraejemplo antes de confiar en una prueba — detectó que sin(x)+cos(x) excede 1 justo en x=0 donde las comprobaciones puntuales ingenuas se ven bien.

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

  • Prove or disprove that sin(x) plus cos(x) is always at most 1
  • Check my optimization solution for errors before I trust it
  • Solve this system of equations and verify it with an independent check

Informe completo →