Plugin Offiziell

Math Proof

Zwei Skills für Mathematik auf Forschungsniveau: solo (eine einzelne Sitzung) und siege (stundenlang Judge- und Worker-Sub-Agents), die in proof.md münden.

Autor: Anthropic
Funktioniert mit: Claude Code
Lizenz: Apache-2.0
Dokumentiert: Oct 2, 2026

Repository ↗

Was Math Proof ist

/math-proof:solo bearbeitet ein Problem in Ihrer Sitzung mit einer Notizdatei. /math-proof:siege lässt stundenlang Runden von Judge- und Worker-Sub-Agents laufen und hält fest, was bewiesen ist und was nicht. Beide deaktivieren Web-Tools und schreiben proof.md.

Was es kann

Wo Math Proof läuft und was es ergänzt, laut Dokumentation

solo: ein langer Durchlauf, der Plan und Ergebnisse in eine Notizdatei schreibt
siege: Der Judge formuliert Fragen, Worker antworten parallel, der Judge führt ein Protokoll
Zwei Worker prüfen einen vollständigen Beweis Zeile für Zeile vor dem Schluss
proof.md enthält einen Abschnitt Status
Fortsetzbar, indem derselbe Befehl im selben Verzeichnis erneut gegeben wird

Wann Sie es einsetzen sollten

Gut geeignet

Schwierige Mathematik, bei der zuerst solo versucht wird
Lange unbeaufsichtigte Beweisversuche mit Kostenobergrenze

Nicht geeignet für

Literaturzitaten vertrauen; sie werden aus dem Gedächtnis zitiert

So installieren Sie Math Proof

Sie benötigen: Claude Code 2.1.280+; Python 3.7+ als python3 oder python für siege

Claude Code starten
/plugin install math-proof@claude-plugins-official ausführen
Den env-Block in ~/.claude/settings.json ergänzen
In einem leeren Verzeichnis /math-proof:solo oder /math-proof:siege ausführen

Konfigurationsbeispiel (aus der offiziellen Dokumentation)

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

Berechtigungen und Sicherheit

Worauf es zugreifen kann

Schreibt Dateien unter ./math-proof-solo/ oder ./math-proof-run/
Der Judge führt Python über das Shell-Tool aus
Schaltet während des Laufs Web-Tools ab

Sicherheitshinweise der Maintainer

--dangerously-skip-permissions nur in einem Wegwerf-Container oder einer VM verwenden, nicht als root

Prüfen Sie den Quellcode, bevor Sie einem Agenten Zugriff auf Zugangsdaten oder Produktivsysteme geben. Wir dokumentieren die Angaben der Maintainer; Code prüfen wir nicht.

Einschränkungen

Siege kann weit über hundert Sub-Agents starten; prüfen Sie /usage
Pro Verzeichnis jeweils nur ein Problem und ein Lauf gleichzeitig

Tools, die es erweitert

Coding

Claude Code

Web · Desktop

Noch keine Nutzerbewertungen

Das agentische Coding-Tool von Anthropic, das Ihre Codebasis liest, Dateien bearbeitet und Befehle ausführt, im Terminal, in IDEs, in der Desktop-App oder im Browser.

Kostenlos bis: Kein kostenloser Tarif: Claude Code ist in den bezahlten Claude-Abonnements (Pro, Max, Team, Enterprise) enth…

Listed Noch nicht bewertet

Geprüft Sep 29, 2026 code.claude.com (öffnet die Website von Claude Code in einem neuen Tab)

Ab $20/mo US · geprüft Sep 29

CompareAdded Details

Häufig gestellte Fragen

Was ist der Unterschied zwischen math-proof solo und siege?

solo arbeitet in Ihrer Sitzung; siege lässt stundenlang Runden von Judge- und Worker-Sub-Agents laufen. Quelle

Wie begrenze ich die Kosten für math-proof siege?

Mit einem API-Schlüssel fügen Sie --max-budget-usd zum unbeaufsichtigten Befehl claude -p hinzu. Quelle

Welche env-Einstellungen braucht math-proof?

CLAUDE_CODE_MAX_OUTPUT_TOKENS, CLAUDE_CODE_DISABLE_BACKGROUND_TASKS und CLAUDE_ASYNC_AGENT_STALL_TIMEOUT_MS. Quelle

Quellen und Lücken

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

Von den Maintainern nicht angegeben: Veröffentlichungsdatum und Versionshistorie stehen nicht in der Plugin-README.