writing-lean-proofs Plugin
Structured Lean 4 proof writing and library design following Mathlib conventions
So installierst du das writing-lean-proofs Plugin
Führe beide Befehle in Claude Code aus. Der erste fügt den Marketplace einmalig hinzu; der zweite installiert das Plugin.
/plugin marketplace add trailofbits/skills
/plugin install writing-lean-proofs@trailofbitsWas ist in writing-lean-proofs enthalten
1 Teil wurden aus den eigenen Dateien des Plugins gelesen.
Skills 1
Claude lädt es, wenn die Aufgabe passt- writing-lean-proofs
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.
Verwendung von writing-lean-proofs in Claude Code
Skills benötigen keinen Command. Claude liest sie, wenn deine Anfrage dem entspricht, was sie beschreiben.
Aktualisieren, deaktivieren oder entfernen
- Plugin aktualisieren (shell)
- claude plugin update writing-lean-proofs@trailofbits
- marketplace aktualisieren
- /plugin marketplace update trailofbits
- Vorerst deaktivieren
- /plugin disable writing-lean-proofs@trailofbits
- Entfernen
- /plugin uninstall writing-lean-proofs@trailofbits
Skills in writing-lean-proofs
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.
9 Dateien8136Stars
Fragen zum writing-lean-proofs Plugin
Wie installiere ich das writing-lean-proofs Plugin?
Führe in Claude Code /plugin marketplace add trailofbits/skills aus, dann /plugin install writing-lean-proofs@trailofbits.
Was enthält das writing-lean-proofs Plugin?
writing-lean-proofs bündelt 1 Skill.
Wie aktualisiere oder entferne ich das writing-lean-proofs Plugin?
Aktualisiere es mit claude plugin update writing-lean-proofs@trailofbits in deiner shell oder über den Installed-Tab von /plugin. Entferne es mit /plugin uninstall writing-lean-proofs@trailofbits.