# math-proof-judge

Субагент, который ведёт доказательство трудной математической задачи по шагам: планирует вопросы, читает ответы и собирает proof.md.

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

## Что делает

Этот субагент работает в связке с плагином math-proof и запускается только его скиллом siege. За одно срабатывание он делает один шаг: получает бриф с именами файлов для чтения и записи, разбирает ответы worker-движков и обновляет свои заметки. Памяти между запусками нет — всё, что нужно знать следующему шагу, он переписывает в файл заметок, укладываясь в 4000 слов.

Глубокие рассуждения делают отдельные worker-движки, с которыми субагент не общается напрямую. Вместо этого он пишет файлы запросов, и каждый запрос уходит независимому worker-у вместе с полным условием задачи. Поэтому запрос обязан быть самодостаточным: любой предыдущий результат или часть аргумента вставляется прямо в текст. Условие задачи в запрос не копируется — оно передаётся отдельно.

\`proof.md` читает рефери, у которого нет доступа к остальным файлам каталога. Ссылки на файлы запросов, ответов, отчёты и заметки там бесполезны: аргумент придётся выписать целиком. Для проверок субагент запускает Python 3 через shell, sympy использует, если тот уже установлен, и ничего не доустанавливает. Веб-доступа у него нет.

## Установка

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

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

2. **Вручную: положить файлы**
- Файл: `.claude/agents/math-proof-judge.md` — Для всех проектов — ~/.claude/agents/. Claude делегирует задачу сам по полю description или по @-упоминанию

### Codex

**Вручную: положить файлы**
- Файл: `.codex/agents/math-proof-judge.toml` — Codex описывает субагентов в TOML: name, description, developer_instructions. Текст из Markdown перенесите в developer_instructions вручную. Для всех проектов — ~/.codex/agents/

### Cursor

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

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/anthropics/claude-plugins-official/tree/HEAD/plugins/math-proof/agents/math-proof-judge.md

## Когда брать
- спланировать вопросы для очередного раунда доказательства
- свести ответы worker-движков в заметки и ledger
- написать и доработать `proof.md` без ссылок на служебные файлы
- проверить численно claimed identity или контрпример через Python 3
- вставить длинный фрагмент текста в файл без ошибок переноса

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

## Похожие
- [prompt-engineer](https://affpapa.org/nevibecode/agents/voltagent-community-prompt-engineer.md) — субагент · 16078 установок
- [prompt-engineer](https://affpapa.org/nevibecode/agents/prompt-engineer.md) — субагент · 16078 установок
- [ai-engineer](https://affpapa.org/nevibecode/agents/voltagent-community-ai-engineer.md) — субагент · 7687 установок
- [ai-engineer](https://affpapa.org/nevibecode/agents/ai-engineer.md) — субагент · 7687 установок
- [search-specialist](https://affpapa.org/nevibecode/agents/search-specialist.md) — субагент · 6886 установок
- [business-analyst](https://affpapa.org/nevibecode/agents/business-analyst.md) — субагент · 3855 установок

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

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

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