math-reasoning — скилл для Claude Code: что делает и как установить
Скилл оформляет математические доказательства, выводит формулы и проверяет размерности для научных статей в формате LaTeX.
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-codeЧто делает math-reasoning
Скилл помогает исследователям готовить математическую часть научных публикаций. Он принимает тип задачи и контекст: уравнение, формулировку теоремы или описание данных. Доступны сценарии для пошагового вывода формул, построения формальных доказательств, формализации постановок задач, подбора статистических критериев, составления таблиц обозначений и проверки выкладок.
При выводе формул инструмент аргументирует каждый промежуточный переход правилом, выделяет итоговый результат через \boxed{} и присваивает метки уравнениям. Для доказательств используются техники индукции, от противного, прямого вывода или разбора случаев. При формализации словесное описание переводится в математическую систему с переменными, областями значений, предположениями и целевой функцией.
Проверка корректности контролирует согласованность размерностей, вычисление градиентов и поведение на границах. Скилл опирается на локальные файлы справочников notation-guide.md и proof-templates.md, поэтому без корректных путей к этим шаблонам часть ссылок на правила оформления окажется недоступной.
Какие задачи решает
- вывести математическое уравнение с промежуточными шагами и обоснованием правил
- построить формальное доказательство теоремы методом индукции или от противного
- перевести неформальное описание задачи в систему переменных и ограничений
- проверить выкладки на согласованность размерностей и граничные случаи
- сформировать сводную таблицу математических обозначений для статьи
Примеры запросов агенту
- Используй math-reasoning с задачей derive для пошагового вывода формулы градиента функции потерь
- Примени math-reasoning в режиме verify, чтобы проверить размерности величин в выкладках
- Сформируй через math-reasoning notation таблицу обозначений для раздела статьи
Как установить math-reasoning
1Через Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code2Вручную: положить файлы
~/.claude/skills/math-reasoning/SKILL.mdПапка скилла целиком; для одного проекта — .claude/skills/math-reasoning/
1Через Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a codex2Вручную: положить файлы
.agents/skills/math-reasoning/SKILL.mdДля всех проектов — ~/.agents/skills/
1Через Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a cursor2Вручную: положить файлы
.cursor/skills/math-reasoning/SKILL.mdCursor читает и .agents/skills/, и .claude/skills/
1GitHub CLI
gh skill install lingzhi227/agent-research-skills math-reasoning2Вручную: положить файлы
.github/skills/math-reasoning/SKILL.md1Через Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a gemini-cli2Командой платформы
gemini skills install https://github.com/lingzhi227/agent-research-skills --path skills/math-reasoningВручную: положить файлы
.devin/skills/math-reasoning/SKILL.mdСтарый путь .windsurf/skills/ тоже читается
Через Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a opencodeClaude.ai
Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills
По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов
Вопросы о math-reasoning
Как установить math-reasoning в Claude Code?
Выполните команду npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code в терминале.
Какие задачи решает math-reasoning?
Скилл помогает оформлять математические выкладки для научных публикаций в LaTeX: выводить формулы, доказывать теоремы, подбирать статистические тесты и проверять корректность расчётов.
Какие справочные материалы использует скилл?
Для работы с формулами и доказательствами скилл обращается к файлам notation-guide.md и proof-templates.md, где собраны шаблоны окружений и стандартные обозначения.
