Plugin Oficial

Math Proof

Dos skills de matemáticas de investigación: solo (una sesión) y siege (horas de sub-agentes), con proof.md.

Autor: Anthropic
Funciona con: Claude Code
Licencia: Apache-2.0
Documentado: Oct 2, 2026

Qué es Math Proof

/math-proof:solo trabaja un problema en tu sesión con un archivo de notas. /math-proof:siege ejecuta rondas de sub-agentes juez y trabajador durante horas e indica qué está y qué no está demostrado. Ambas desactivan las herramientas web y escriben proof.md.

Qué hace

Dónde se ejecuta Math Proof y qué añade, según su documentación

solo: un turno largo que escribe el plan y los resultados en un archivo de notas
siege: el juez escribe preguntas, los trabajadores responden en paralelo y el juez lleva un registro
Dos trabajadores revisan línea por línea una prueba completa antes de la conclusión
proof.md incluye una sección Status
Se puede reanudar repitiendo el mismo comando en el mismo directorio

Cuándo usarla

Buen encaje

Matemáticas difíciles en las que primero se prueba solo
Intentos largos de prueba sin supervisión con un tope de gasto

No apto para

Confiar en las citas de la literatura; se citan de memoria

Cómo instalar Math Proof

Necesitas: Claude Code 2.1.280+; Python 3.7+ como python3 o python para siege

Ejecuta Claude Code
Ejecuta /plugin install math-proof@claude-plugins-official
Añade el bloque env a ~/.claude/settings.json
En un directorio vacío ejecuta /math-proof:solo o /math-proof:siege

Ejemplo de configuración (de la documentación oficial)

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

Permisos y seguridad

A qué puede acceder

Escribe archivos en ./math-proof-solo/ o ./math-proof-run/
El juez ejecuta Python mediante la herramienta de shell
Desactiva las herramientas web durante su ejecución

Notas de seguridad de los responsables

Usa --dangerously-skip-permissions solo en un contenedor o VM desechable, sin root

Revisa el código fuente antes de dar a un agente acceso a credenciales o sistemas de producción. Documentamos lo que declaran los responsables; no auditamos el código.

Limitaciones

Siege puede ejecutar bastante más de cien sub-agentes; revisa /usage
Un problema y una ejecución a la vez por directorio

Herramientas que extiende

Programación

Claude Code

Web · Desktop

Aún no hay reseñas de usuarios

Herramienta de programación agéntica de Anthropic que lee tu código, edita archivos y ejecuta comandos desde la terminal, IDE, escritorio o navegador.

El plan gratis termina en: Sin nivel gratuito: Claude Code está incluido en las suscripciones de pago de Claude (Pro, Max, Team, Enterpr…

Listed Aún sin reseñar

Verificado Sep 29, 2026 code.claude.com (abre el sitio web de Claude Code en una pestaña nueva)

Desde $20/mo EE. UU. · revisado Sep 29

CompareAdded Detalles

Preguntas frecuentes

¿Cuál es la diferencia entre solo y siege en math-proof?

solo trabaja en tu sesión; siege ejecuta rondas de sub-agentes juez y trabajador durante horas. fuente

¿Cómo limito el gasto de math-proof siege?

Con una clave de API, añade --max-budget-usd al comando claude -p sin supervisión. fuente

¿Qué ajustes de entorno necesita math-proof?

CLAUDE_CODE_MAX_OUTPUT_TOKENS, CLAUDE_CODE_DISABLE_BACKGROUND_TASKS y CLAUDE_ASYNC_AGENT_STALL_TIMEOUT_MS. fuente

Guías relacionadas

Plugins y marketplace de Claude Code: 40 perfilados en 2026

Fuentes y lagunas

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

No indicado por los responsables: La fecha de lanzamiento y el historial de versiones no aparecen en el README del plugin.