Razonamiento matemático formal para trabajos de investigación: derive ecuaciones, escriba pruebas, formalice configuraciones de problemas, seleccione pruebas estadísticas y genere notación matemática LaTeX. Utilícelo cuando el usuario necesite derivaciones matemáticas, pruebas de teoremas, tablas de notación o formalización de análisis estadísticos.
Instala rápidamente el skill de IA math-reasoning en tu entorno de desarrollo mediante línea de comandos
Fuente: lingzhi227/agent-research-skills.
Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.
derive — Step-by-step equation derivation Show every intermediate step. Justify each with the rule applied. Box final result with \boxed{}. Number important equations with \label{eq:name}.
prove — Formal theorem proof Use appropriate technique: direct, contradiction, induction, construction, or cases. See references/proof-templates.md for LaTeX templates.
Razonamiento matemático formal para trabajos de investigación: derive ecuaciones, escriba pruebas, formalice configuraciones de problemas, seleccione pruebas estadísticas y genere notación matemática LaTeX. Utilícelo cuando el usuario necesite derivaciones matemáticas, pruebas de teoremas, tablas de notación o formalización de análisis estadísticos. Fuente: lingzhi227/agent-research-skills.
Campos y comandos estables para citas de IA/búsqueda.
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoningRazonamiento matemático formal para trabajos de investigación: derive ecuaciones, escriba pruebas, formalice configuraciones de problemas, seleccione pruebas estadísticas y genere notación matemática LaTeX. Utilícelo cuando el usuario necesite derivaciones matemáticas, pruebas de teoremas, tablas de notación o formalización de análisis estadísticos. Fuente: lingzhi227/agent-research-skills.
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw
https://github.com/lingzhi227/agent-research-skills