Expert en vérification formelle Move Prover - langage de spécification (MSL), préconditions, postconditions, invariants, aborts_if, ensures, requires, modifies, emits, invariants globaux, modèles de schémas, quantificateurs, fonctions auxiliaires, directives pragma, stratégies de vérification et débogage de preuves. Se déclenche sur les mots-clés move prover, vérification formelle, spec, invariant, ensures, requires, aborts_if, précondition, postcondition, quantificateur, schéma, pragma
Intégration rapide dans votre flux de travail avec une configuration minimale
Communauté open-source active avec mises à jour continues
Licence MIT/Apache pour usage commercial et personnel
Personnalisable et extensible selon vos besoins
Téléchargez ou copiez le fichier de compétence depuis le dépôt source
Placez le fichier de compétence dans le répertoire de compétences de Claude (généralement ~/.claude/skills/)。
Redémarrez Claude ou exécutez la commande de rechargement pour charger la compétence
Conseil: Lisez attentivement la documentation et le code avant la première utilisation pour comprendre les fonctionnalités et les exigences de permissions
Toutes les compétences proviennent de la communauté open-source, préservant les droits d'auteur des auteurs originaux
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.mdAvantages prouvés et impact mesurable
Générez des feuilles de calcul complexes en quelques minutes au lieu de quelques heures grâce à un formatage automatique.
Éliminez les erreurs de formule grâce à la validation et aux recalculs automatiques basés sur l'IA
Générez instantanément des analyses et des visualisations à partir de données brutes, sans traitement manuel
Parfait pour ces scénarios
Créez des modèles financiers complexes avec des formules automatisées et un formatage professionnel
Analyser les données de ventes et générer des tableaux de bord interactifs avec des tableaux croisés dynamiques et des graphiques
Maintenir des fiches de stock en temps réel avec des calculs automatiques et des alertes
Transformer des données brutes en rapports mis en forme avec des mises en page et des formules cohérentes