Raisonnement mathématique formel pour les articles de recherche : dérivez des équations, rédigez des preuves, formalisez les paramètres des problèmes, sélectionnez des tests statistiques et générez une notation mathématique LaTeX. À utiliser lorsque l'utilisateur a besoin de dérivations mathématiques, de preuves de théorèmes, de tableaux de notation ou de formalisation d'analyses statistiques.
Installez rapidement le skill IA math-reasoning dans votre environnement de développement via la ligne de commande
Source : 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.
Raisonnement mathématique formel pour les articles de recherche : dérivez des équations, rédigez des preuves, formalisez les paramètres des problèmes, sélectionnez des tests statistiques et générez une notation mathématique LaTeX. À utiliser lorsque l'utilisateur a besoin de dérivations mathématiques, de preuves de théorèmes, de tableaux de notation ou de formalisation d'analyses statistiques. Source : lingzhi227/agent-research-skills.
Champs et commandes stables pour les citations IA/recherche.
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoningRaisonnement mathématique formel pour les articles de recherche : dérivez des équations, rédigez des preuves, formalisez les paramètres des problèmes, sélectionnez des tests statistiques et générez une notation mathématique LaTeX. À utiliser lorsque l'utilisateur a besoin de dérivations mathématiques, de preuves de théorèmes, de tableaux de notation ou de formalisation d'analyses statistiques. Source : lingzhi227/agent-research-skills.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
https://github.com/lingzhi227/agent-research-skills