Verwenden Sie es bei der Erstellung neuer Skills, der Bearbeitung bestehender Skills oder der Verifizierung der Funktionsfähigkeit von Skills vor der Bereitstellung – wendet TDD auf Prozessdokumentation an, indem es vor dem Schreiben mit Subagenten testet und bis zur Unfalltüchtigkeit gegen Rationalisierung iteriert
Schnelle Integration in Ihren Workflow mit minimaler Einrichtung
Aktive Open-Source-Community mit kontinuierlichen Updates
MIT/Apache-Lizenz für kommerzielle und private Nutzung
Anpassbar und erweiterbar nach Ihren Bedürfnissen
Laden Sie die Skill-Datei aus dem Quell-Repository herunter oder kopieren Sie sie
Platzieren Sie die Skill-Datei im Skills-Verzeichnis von Claude (normalerweise ~/.claude/skills/）。
Starten Sie Claude neu oder führen Sie den Reload-Befehl aus, um die Skill zu laden
Tipp: Lesen Sie die Dokumentation und den Code vor der ersten Verwendung sorgfältig durch, um die Funktionalität und Berechtigungsanforderungen zu verstehen
Alle Skills stammen aus der Open-Source-Community und bewahren die Urheberrechte der ursprünglichen Autoren
obra__superpowers/skills/writing-skills/SKILL.mdBewährte Vorteile und messbare Wirkung
Fehler mit formaler Verifikation vor der Bereitstellung erkennen
Proof-Checking automatisieren, um Sicherheitsprüfungen zu beschleunigen
Stellen Sie sicher, dass alle kritischen Pfade formale Spezifikationen haben
Perfekt für diese Szenarien
Korrektheit von Move-Verträgen automatisch mithilfe formaler Methoden verifizieren
Finden Sie kritische Fehler frühzeitig durch das Schreiben formaler Spezifikationen
Nachweisen, dass globale Invarianten für komplexe DeFi-Protokolle gelten
Fehlgeschlagene Move Prover-Beweise mit Experten-Anleitung beheben