Plugin Oficial

Math Proof

Two skills for research-level math: solo (single session) and siege (hours of judge and worker sub-agents), ending in proof.md.

Autor: Anthropic
Funciona com: Claude Code
Licença: Apache-2.0
Documentado: Oct 2, 2026

Repositório ↗

O que é Math Proof

/math-proof:solo works a problem in your session with a notes file. /math-proof:siege runs rounds of judge and worker sub-agents for hours and states what is and is not proved. Both disable web tools and write proof.md.

O que ela faz

Onde Math Proof roda e o que acrescenta, segundo a documentação

solo: one long turn writing plan and results to a notes file
siege: judge writes questions, workers answer in parallel, judge keeps a ledger
Two workers check a complete proof line by line before conclusion
proof.md includes a Status section
Resumable by re-giving the same command in the same directory

Quando usar

Boa adequação

Hard mathematics where solo is tried first
Long unattended proof attempts with a spend cap

Não indicado para

Trusting literature citations; they are quoted from memory

Como instalar o Math Proof

Você precisa de: Claude Code 2.1.280+; Python 3.7+ as python3 or python for siege

Run Claude Code
Run /plugin install math-proof@claude-plugins-official
Add the env block to ~/.claude/settings.json
In an empty directory run /math-proof:solo or /math-proof:siege

Exemplo de configuração (da documentação oficial)

{
  "env": {
    "CLAUDE_CODE_MAX_OUTPUT_TOKENS": "128000",
    "CLAUDE_CODE_DISABLE_BACKGROUND_TASKS": "1",
    "CLAUDE_ASYNC_AGENT_STALL_TIMEOUT_MS": "14400000"
  }
}

Permissões e segurança

A que ela tem acesso

Writes files under ./math-proof-solo/ or ./math-proof-run/
Judge runs Python via the shell tool
Switches web tools off during its run

Notas de segurança dos mantenedores

Use --dangerously-skip-permissions only in a disposable container or VM, non-root

Revise a fonte antes de conceder ao agente acesso a credenciais ou sistemas de produção. Documentamos o que os mantenedores informam; não auditamos o código.

Limitações

Siege can run well over a hundred sub-agents; check /usage
One problem and one run at a time per directory

Ferramentas que ela estende

Programação

Claude Code

Web · Desktop

Ainda sem avaliações de usuários

Ferramenta de programação agêntica da Anthropic que lê sua base de código, edita arquivos e executa comandos pelo terminal, por IDEs, pelo app desktop ou pelo navegador.

O plano gratuito termina em: Não há plano gratuito: o Claude Code está incluído nas assinaturas pagas do Claude (Pro, Max, Team, Enterpris…

Listed Ainda não avaliada

Verificado Sep 29, 2026 code.claude.com (abre o site de Claude Code em uma nova aba)

A partir de $20/mo EUA · verificado Sep 29

CompareAdded Detalhes

Perguntas frequentes

What is the difference between math-proof solo and siege?

solo works in your session; siege runs rounds of judge and worker sub-agents for hours. fonte

How do I cap spend for math-proof siege?

With an API key, add --max-budget-usd to the unattended claude -p command. fonte

What env settings does math-proof need?

CLAUDE_CODE_MAX_OUTPUT_TOKENS, CLAUDE_CODE_DISABLE_BACKGROUND_TASKS and CLAUDE_ASYNC_AGENT_STALL_TIMEOUT_MS. fonte

Guias relacionados

Claude Code plugins and marketplace: 40 profiled in 2026

Fontes e lacunas

https://raw.githubusercontent.com/anthropics/claude-plugins-official/main/plugins/math-proof/README.md readme, verificado Oct 2, 2026
https://raw.githubusercontent.com/anthropics/claude-plugins-official/main/plugins/math-proof/LICENSE readme, verificado Oct 2, 2026

Não informado pelos mantenedores: Release date and version history are not shown in the plugin README.