Experte für die formale Verifizierung mit Move Prover – Spezifikationssprache (MSL), Preconditions (Vorbedingungen), Postconditions (Nachbedingungen), Invarianten, aborts_if, ensures, requires, modifies, emits, globale Invarianten, Schema-Muster, Quantoren, Hilfsfunktionen, Pragma-Direktiven, Verifizierungsstrategien und Debugging von Beweisen. Wird durch die Keywords move prover, formale Verifizierung, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma ausgelöst.
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
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.mdBewährte Vorteile und messbare Wirkung
Erstellen Sie komplexe Tabellenkalkulationen in Minuten statt Stunden mit automatischer Formatierung.
Beseitigen Sie Formelfehler mit KI-gestützter Validierung und automatischen Neuberechnungen
Erstellen Sie sofort Einblicke und Visualisierungen aus Rohdaten ohne manuelle Verarbeitung
Perfekt für diese Szenarien
Komplexe Finanzmodelle mit automatisierten Formeln und professioneller Formatierung erstellen
Verkaufsdaten analysieren und interaktive Dashboards mit Pivot-Tabellen und Diagrammen erstellen
Echtzeit-Bestandslisten mit automatischen Berechnungen und Warnungen pflegen
Rohdaten in formatierte Berichte mit einheitlichen Layouts und Formeln umwandeln