# math-reasoning

Скилл оформляет математические доказательства, выводит формулы и проверяет размерности для научных статей в формате LaTeX.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 2200 установок · ★ 433
- Автор: lingzhi227
- Лицензия: не указана · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/lingzhi227/agent-research-skills/tree/HEAD/skills/math-reasoning/SKILL.md
- Обновлён: 2026-02-27
- HTML: https://affpapa.org/nevibecode/skills/math-reasoning

## Что делает

Скилл помогает исследователям готовить математическую часть научных публикаций. Он принимает тип задачи и контекст: уравнение, формулировку теоремы или описание данных. Доступны сценарии для пошагового вывода формул, построения формальных доказательств, формализации постановок задач, подбора статистических критериев, составления таблиц обозначений и проверки выкладок.

При выводе формул инструмент аргументирует каждый промежуточный переход правилом, выделяет итоговый результат через `\boxed{}` и присваивает метки уравнениям. Для доказательств используются техники индукции, от противного, прямого вывода или разбора случаев. При формализации словесное описание переводится в математическую систему с переменными, областями значений, предположениями и целевой функцией.

Проверка корректности контролирует согласованность размерностей, вычисление градиентов и поведение на границах. Скилл опирается на локальные файлы справочников `notation-guide.md` и `proof-templates.md`, поэтому без корректных путей к этим шаблонам часть ссылок на правила оформления окажется недоступной.

## Установка

### Claude Code (родная платформа)

1. **Через Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code
```

2. **Вручную: положить файлы**
- Файл: `~/.claude/skills/math-reasoning/SKILL.md` — Папка скилла целиком; для одного проекта — .claude/skills/math-reasoning/

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a codex
```

2. **Вручную: положить файлы**
- Файл: `.agents/skills/math-reasoning/SKILL.md` — Для всех проектов — ~/.agents/skills/

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a cursor
```

2. **Вручную: положить файлы**
- Файл: `.cursor/skills/math-reasoning/SKILL.md` — Cursor читает и .agents/skills/, и .claude/skills/

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install lingzhi227/agent-research-skills math-reasoning
```

2. **Вручную: положить файлы**
- Файл: `.github/skills/math-reasoning/SKILL.md`

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/lingzhi227/agent-research-skills --path skills/math-reasoning
```

### Windsurf (Devin Desktop)

**Вручную: положить файлы**
- Файл: `.devin/skills/math-reasoning/SKILL.md` — Старый путь .windsurf/skills/ тоже читается

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a opencode
```

### Claude.ai

**Claude.ai**
- Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/lingzhi227/agent-research-skills/tree/HEAD/skills/math-reasoning/SKILL.md

## Когда брать
- вывести математическое уравнение с промежуточными шагами и обоснованием правил
- построить формальное доказательство теоремы методом индукции или от противного
- перевести неформальное описание задачи в систему переменных и ограничений
- проверить выкладки на согласованность размерностей и граничные случаи
- сформировать сводную таблицу математических обозначений для статьи

## Примеры запросов агенту
- Используй math-reasoning с задачей derive для пошагового вывода формулы градиента функции потерь
- Примени math-reasoning в режиме verify, чтобы проверить размерности величин в выкладках
- Сформируй через math-reasoning notation таблицу обозначений для раздела статьи

## Похожие
- [math-olympiad](https://affpapa.org/nevibecode/plugins/math-olympiad.md) — плагин · ★ 44635
- [paper-writing](https://affpapa.org/nevibecode/skills/evoscientist-paper-writing.md) — скилл · 504 установки
- [research-writing-skill](https://affpapa.org/nevibecode/skills/research-writing-skill.md) — скилл · 878 установок
- [pre-submission-reviewer](https://affpapa.org/nevibecode/skills/pre-submission-reviewer.md) — скилл · 731 установка
- [writing-systems-papers](https://affpapa.org/nevibecode/skills/writing-systems-papers.md) — скилл · 447 установок
- [math-router](https://affpapa.org/nevibecode/skills/math-router.md) — скилл · 493 установки

Из того же набора: [lingzhi227/agent-research-skills](https://affpapa.org/nevibecode/by/lingzhi227/agent-research-skills.md) — 23 карточки

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md