Menü
Read and discuss proofs, strategies, or math concepts without making any edits.
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Improve an existing working proof for structural clarity, succinctness, or reusability.
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Fill a sorry one step at a time, directed by the user.
| name | discuss |
| description | Read and discuss proofs, strategies, or math concepts without making any edits. |
Read and discuss proofs, strategies, or mathematical concepts. No file edits in this mode.
Topic: $ARGUMENTS
Read, lean_goal, lean_hover_info, etc.lean_leansearch, lean_loogle, etc.) as needed to inform the discussion./refactor or /fill-sorry).Edit, Write, or file modifications.