Формальное математическое обоснование исследовательских работ — выводите уравнения, записывайте доказательства, формализуйте постановки задач, выбирайте статистические тесты и создавайте математические обозначения LaTeX. Используйте, когда пользователю нужны математические выводы, доказательства теорем, таблицы обозначений или формализация статистического анализа.
Быстро установите AI-навык math-reasoning в вашу среду разработки через командную строку
Источник: 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.
Формальное математическое обоснование исследовательских работ — выводите уравнения, записывайте доказательства, формализуйте постановки задач, выбирайте статистические тесты и создавайте математические обозначения LaTeX. Используйте, когда пользователю нужны математические выводы, доказательства теорем, таблицы обозначений или формализация статистического анализа. Источник: lingzhi227/agent-research-skills.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoningФормальное математическое обоснование исследовательских работ — выводите уравнения, записывайте доказательства, формализуйте постановки задач, выбирайте статистические тесты и создавайте математические обозначения LaTeX. Используйте, когда пользователю нужны математические выводы, доказательства теорем, таблицы обозначений или формализация статистического анализа. Источник: lingzhi227/agent-research-skills.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/lingzhi227/agent-research-skills