# math-proof

Решает сложные математические задачи исследовательского уровня и сохраняет итоговое доказательство в proof.md. Содержит одиночный режим и многоагентный протокол осады.

- плагин · `type=plugin` · Claude Code · ★ 44635
- Автор: Anthropic · официальный репозиторий Anthropic
- Лицензия: Apache-2.0 · policy=mirror · начало файла — в конце страницы
- Исходник: https://github.com/anthropics/claude-plugins-official/tree/HEAD/plugins/math-proof
- Обновлён: 2026-10-24
- HTML: https://affpapa.org/nevibecode/plugins/math-proof

## Что делает

Плагин добавляет две слэш-команды для работы над трудными математическими доказательствами. В режиме `/math-proof:solo` агент решает задачу сам за один длинный шаг, сохраняя план и промежуточные выкладки в файл заметок. Это страхует от потери результатов при исчерпании лимита токенов вывода. Для более масштабных задач предназначен `/math-proof:siege`. Текущая сессия в нём не делает вычислений сама. Она запускает субагентов раундами: судья распределяет вопросы, воркеры ищут решения параллельно, а готовый текст проверяют два отдельных верификатора построчно.

Для работы `siege` на компьютере нужен Python 3.7 или новее в `PATH`. Версия Claude Code должна быть не ниже 2.1.280. Также в `~/.claude/settings.json` потребуется прописать блок переменных окружения `env`: задать `CLAUDE_CODE_MAX_OUTPUT_TOKENS` равным `128000`, отключить фоновые задачи через `CLAUDE_CODE_DISABLE_BACKGROUND_TASKS` и выставить таймаут агентов. Без этих параметров долгие раунды могут оборваться.

Судья в режиме `siege` запускает сгенерированный моделью код на Python через системную консоль. Поэтому флаг `--dangerously-skip-permissions` допустимо использовать только в изолированном контейнере или виртуальной машине под непривилегированным пользователем.

## Установка

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

**Через маркетплейс плагинов**
В чате агента (не в терминале):
```text
/plugin install math-proof@claude-plugins-official
```
В чате агента (не в терминале):
```text
/plugin marketplace add anthropics/claude-plugins-official
```

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

## Примеры запросов агенту
- /math-proof:solo Докажи, что для любого простого p > 3 число p^2 - 1 делится на 24.
- /math-proof:siege problem.md
- \`claude -p "/math-proof:siege problem.md" --model claude-opus-5-5 --effort high --dangerously-skip-permissions`

## Похожие
- [technical-spike](https://affpapa.org/nevibecode/plugins/technical-spike.md) — плагин · ★ 40418

Из того же набора: [anthropics/claude-plugins-official](https://affpapa.org/nevibecode/by/anthropics/claude-plugins-official.md) — 123 карточки

_Часть страницы не вошла по размеру — она есть в HTML-версии._

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