Plugin Officiel

Math Proof

Deux skills de maths de recherche : solo (une session) et siege (sub-agents pendant des heures) avec proof.md.

Auteur: Anthropic
Compatible avec: Claude Code
Licence: Apache-2.0
Documenté: Oct 2, 2026

Ce qu'est Math Proof

/math-proof:solo travaille un problème dans votre session avec un fichier de notes. /math-proof:siege lance pendant des heures des rounds de sub-agents juge et workers, et indique ce qui est prouvé ou non. Les deux désactivent les outils web et écrivent proof.md.

Ce qu'il fait

Où Math Proof s'exécute et ce qu'il ajoute, d'après sa documentation

solo : un long tour qui écrit le plan et les résultats dans un fichier de notes
siege : le juge rédige des questions, les workers répondent en parallèle, le juge tient un registre
Deux workers vérifient ligne par ligne une preuve complète avant la conclusion
proof.md comporte une section Status
Reprise possible en redonnant la même commande dans le même répertoire

Quand l'utiliser

Bonne adéquation

Mathématiques difficiles, en essayant d'abord solo
Longues tentatives de preuve sans surveillance avec un plafond de dépense

Pas pour

Se fier aux citations de la littérature ; elles sont citées de mémoire

Comment installer Math Proof

Il vous faut : Claude Code 2.1.280+; Python 3.7+ sous le nom python3 ou python pour siege

Lancez Claude Code
Exécutez /plugin install math-proof@claude-plugins-official
Ajoutez le bloc env à ~/.claude/settings.json
Dans un répertoire vide, exécutez /math-proof:solo ou /math-proof:siege

Exemple de configuration (tiré de la documentation officielle)

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

Autorisations et sécurité

Ce à quoi il accède

Écrit des fichiers sous ./math-proof-solo/ ou ./math-proof-run/
Le juge exécute du Python via l'outil shell
Désactive les outils web pendant son exécution

Notes de sécurité des mainteneurs

N'utilisez --dangerously-skip-permissions que dans un conteneur ou une VM jetable, sans droits root

Examinez la source avant de donner à un agent l'accès à des identifiants ou à des systèmes de production. Nous documentons ce que déclarent les mainteneurs ; nous n'auditons pas le code.

Limites

Siege peut lancer bien plus d'une centaine de sub-agents ; surveillez /usage
Un seul problème et une seule exécution à la fois par répertoire

Outils qu'il étend

Programmation

Claude Code

Web · Desktop

Pas encore d'avis d'utilisateurs

Outil de codage agentique d'Anthropic qui lit votre base de code, modifie des fichiers et exécute des commandes depuis le terminal, les IDE ou le navigateur.

La gratuité s'arrête à : Pas d'offre gratuite : Claude Code est inclus dans les abonnements Claude payants (Pro, Max, Team, Enterprise…

Listed Pas encore évalué

Vérifié Sep 29, 2026 code.claude.com (ouvre le site de Claude Code dans un nouvel onglet)

Dès $20/mo US · vérifié Sep 29

CompareAdded Détails

Questions fréquentes

Quelle est la différence entre math-proof solo et siege ?

solo travaille dans votre session ; siege lance pendant des heures des rounds de sub-agents juge et workers. source

Comment plafonner la dépense de math-proof siege ?

Avec une clé API, ajoutez --max-budget-usd à la commande claude -p exécutée sans surveillance. source

De quels réglages env math-proof a-t-il besoin ?

CLAUDE_CODE_MAX_OUTPUT_TOKENS, CLAUDE_CODE_DISABLE_BACKGROUND_TASKS et CLAUDE_ASYNC_AGENT_STALL_TIMEOUT_MS. source

Guides associés

Plugins et marketplace Claude Code : 40 plugins présentés en 2026

Sources et lacunes

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

Non précisé par les mainteneurs : La date de publication et l'historique des versions ne figurent pas dans le README du plugin.