Ragionamento matematico formale per articoli di ricerca: deriva equazioni, scrivi dimostrazioni, formalizza le impostazioni dei problemi, seleziona test statistici e genera notazione matematica LaTeX. Utilizzare quando l'utente necessita di derivazioni matematiche, dimostrazioni di teoremi, tabelle di notazione o formalizzazione di analisi statistiche.
Installa rapidamente la skill AI math-reasoning nel tuo ambiente di sviluppo tramite riga di comando
Fonte: 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.
Ragionamento matematico formale per articoli di ricerca: deriva equazioni, scrivi dimostrazioni, formalizza le impostazioni dei problemi, seleziona test statistici e genera notazione matematica LaTeX. Utilizzare quando l'utente necessita di derivazioni matematiche, dimostrazioni di teoremi, tabelle di notazione o formalizzazione di analisi statistiche. Fonte: lingzhi227/agent-research-skills.
Campi e comandi stabili per citazioni AI/ricerca.
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoningRagionamento matematico formale per articoli di ricerca: deriva equazioni, scrivi dimostrazioni, formalizza le impostazioni dei problemi, seleziona test statistici e genera notazione matematica LaTeX. Utilizzare quando l'utente necessita di derivazioni matematiche, dimostrazioni di teoremi, tabelle di notazione o formalizzazione di analisi statistiche. Fonte: lingzhi227/agent-research-skills.
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
https://github.com/lingzhi227/agent-research-skills