math-proof
Пакет плагинов · Anthropic
math-proof: пакет плагинов для ИИ-инструментов разработки, издатель Anthropic. Витрин, которые мы читаем и где он опубликован: 1 (Claude Code: claude-plugins-official). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-11.
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
- Витрины
- 1
- Где работает
- Ставится как пакет плагинов
- Самое большое опубликованное число
- Число не опубликовано
- Впервые замечен
- 2026-10-11
- Последнее изменение
- Не зафиксировано
- Отметка о проверке
- Не помечен
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Claude Code: claude-plugins-official (Открыть исходники на GitHub) | Опубликован | не указана | Число не опубликовано | Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что умеет
Устанавливается в ИИ-инструмент как пакет плагинов; что он запускает, перечислено ниже.
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что входит в пакет
Так опубликовано на витрине Claude Code: claude-plugins-official.
Скиллы: 2
siegesolo
Агенты: 3
math-proof-judgemath-proof-workermath-proof-worker-deep
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Издатель
Anthropic · Репозиторий: github.com/anthropics/claude-plugins-official
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
- math-olympiad
- io.github.Archerkattri/mathlas
- Axiom — Advanced Math
- Execute coq-proof-assistant-mcp
- Sequential Thinking (Reference)
- exact-calc
- jarvis-deep-interview
- ProofGraph (Antigravity MCP)
- Scholarize — Study Plan & Thesis Tools
- io.github.CSOAI-ORG/math-solver-ai-mcp
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
Есть на витрине Claude Code: claude-plugins-official (5)
Есть на витрине Claude: knowledge-work-plugins (5)
Есть на витрине Codex: openai-curated (openai/plugins) (5)
Есть на витрине Community GitHub marketplaces (5)
Есть на витрине Copilot CLI: github/awesome-copilot (5)
Есть на витрине Copilot CLI: github/copilot-plugins (5)
- microsoft-365-agents-toolkit
- workiq-productivity
- workiq
- advanced-security
- azure-devops-copilot-plugin
Есть на витрине Cursor: cursor/plugins (5)
Есть на витрине Docker MCP Catalog (5)
Есть на витрине Official MCP Registry (5)
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Сравнение рядом
Это ваш плагин?
Докажите, что поддерживаете плагин: файлом в его репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, и сможете поставить его удалённый endpoint на мониторинг как веб-сервис.
Данные витрины Claude Code: claude-plugins-official. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.