Solve Math Rigorously

Erzwingt eine Gegenteil-Suche, bevor einem Beweis vertraut wird – fing sin(x)+cos(x) über 1 ab, genau bei x=0, wo naive Stichproben gut aussehen.

von googlarz · googlarz/math-skill

Getestet · Funktioniert ★ 9.6/10

Solve Math Rigorously — Erzwingt eine Gegenteil-Suche, bevor einem Beweis vertraut wird – fing sin(x)+cos(x) über 1 ab, genau bei x=0, wo naive Stichproben gut aussehen.

Was es kann

Ein Solver-First-Mathe-Skill: Problem abbilden, Methode bewusst wählen, in inspizierbaren Schritten lösen, dann mit Sanity/Struktur-/unabhängigen/toolgestützten Prüfungen verifizieren, bevor die Zuversicht präsentiert wird. Liefert lokale SymPy-basierte Skripte (math_verify.py, math_visualize.py, math_table.py, math_photo_helper.py) und 15 Referenz-Playbooks für Foto-Aufnahme, Beweise und Methodenauswahl. Löst aus bei der Lösung von Gleichungen/Systemen, dem Beweis oder der Widerlegung einer Behauptung, Optimierung, Überprüfung einer Antwort oder dem Lesen von Mathematik von einem Foto/PDF/Whiteboard; priorisiert explizit Unterrichts-/Arbeitsblattmodi, es sei denn, es wird danach gefragt.

Testbericht

Den echten gebündelten Gegenteil-Checker math_verify.py für die plausibel aussehende Behauptung 'sin(x)+cos(x) <= 1 für alle reellen x' ausgeführt: Er fand eine echte Verletzung bei x=0.00785 (Wert 1.00782), die grenzwertige Stichproben bei x=0, pi/2, pi, 3pi/2 (alle ergeben genau +-1) vollständig verpassen – ein konkreter, reproduzierbarer Fang eines falschen Anspruchs, den ein sorgloser Basis-Pass als wahr abstempeln würde.

Getestet am: 2026-07-16 · Claude Code 2.x (agent harness)

Installation

git clone https://github.com/googlarz/math-skill
mkdir -p ~/.claude/skills
cp -r math-skill ~/.claude/skills/solve-math-rigorously

Befehle & Beispiel-Prompts

/solve-math-rigorouslyErzwingt eine Gegenteil-Suche, bevor einem Beweis vertraut wird – fing sin(x)+cos(x) über 1 ab, genau bei x=0, wo naive Stichproben gut aussehen.

Skills reagieren auf normale Anfragen — keine Slash-Befehle nötig. Nach der Installation aktivieren Prompts wie diese den Skill (auf Englisch):

Prove or disprove that sin(x) plus cos(x) is always at most 1
Check my optimization solution for errors before I trust it
Solve this system of equations and verify it with an independent check

Vollständiger Testbericht (Englisch) →