Claude Skills
AccueilTutoriel💎 Sélection Gratuite
💻 Développement⚙️ Backend🎨 Frontend🚀 DevOps⛓️ Web3 et Blockchain🎭 Créatif📄 Documentation📊 Données et IA💼 Affaires🤖 Automatisation🔒 Sécurité
💎 Tarifs
⌘K
🏠 Accueil📖 Tutoriel💎 Sélection Gratuite💳 Tarifs
💻 Développement⚙️ Backend🎨 Frontend🚀 DevOps⛓️ Web3 et Blockchain🎭 Créatif📄 Documentation📊 Données et IA💼 Affaires🤖 Automatisation🔒 Sécurité
CS
Claude Skills Free

Plateforme sélectionnée présentant plus de 1500 compétences Claude AI. Découvrez, apprenez et améliorez votre productivité.

Catégories

DéveloppementFrontendBackendDonnées et IADocumentationDevOpsToutes les Catégories

Ressources

GitHubDocumentationRéférence APIClaude AI

Entreprise

À ProposContactFAQ

Mentions Légales

Politique de ConfidentialitéConditions d'Utilisation

© 2025 Claude Skills Free. Tous droits réservés.

Fait avec❤pour la communauté Claude

  1. Accueil
  2. Web3 & Blockchain
  3. Proveur Aptos Move
💻
Gratuit
💻Web3 & Blockchain
✓ Vérifié

Proveur Aptos Move

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

raintree-technology

Fonctionnalités Principales

Prêt à l'Emploi

Intégration rapide dans votre flux de travail avec une configuration minimale

Vérifié par la Communauté

Communauté open-source active avec mises à jour continues

Complètement Gratuit

Licence MIT/Apache pour usage commercial et personnel

Extension Flexible

Personnalisable et extensible selon vos besoins

Comment Utiliser

1Obtenir le Fichier Skill

Téléchargez ou copiez le fichier de compétence depuis le dépôt source

2Installer sur Claude

Placez le fichier de compétence dans le répertoire de compétences de Claude (généralement ~/.claude/skills/)。

3Commencer à Utiliser

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

Étiquettes Associées

#authentication#ci-cd#debugging#documentation#git#nodejs#testing

Informations Techniques

Auteur
raintree-technology
Catégorie
Web3 & Blockchain
Taille du Fichier
25.77 KB
Dépôt Source
raintree-technology__claude-starter
Métadonnées
Inclut des métadonnées YAML
Licence
MIT

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.md

Pourquoi Choisir Cette Compétence

Avantages prouvés et impact mesurable

90%

Création Rapide de Tableurs

Générez des feuilles de calcul complexes en quelques minutes au lieu de quelques heures grâce à un formatage automatique.

75%

Réduction des erreurs manuelles

Éliminez les erreurs de formule grâce à la validation et aux recalculs automatiques basés sur l'IA

60%

Temps gagné sur l'analyse

Générez instantanément des analyses et des visualisations à partir de données brutes, sans traitement manuel

Cas d'Usage

Parfait pour ces scénarios

📊

Modélisation financière

Créez des modèles financiers complexes avec des formules automatisées et un formatage professionnel

📈

Analyse des ventes

Analyser les données de ventes et générer des tableaux de bord interactifs avec des tableaux croisés dynamiques et des graphiques

📋

Suivi des stocks

Maintenir des fiches de stock en temps réel avec des calculs automatiques et des alertes

📑

Automatisation des rapports

Transformer des données brutes en rapports mis en forme avec des mises en page et des formules cohérentes

Compétences Associées

Voir Toutes les Compétences
Recommandé selon les tags et la catégorie

Atelier d'agents

Système de génération d'agents de code Claude qui crée des agents et sous-agents personnalisés avec un en-tête YAML amélioré, des modèles d'accès aux outils et un support d'intégration MCP conformément à des modèles de production éprouvés

authenticationautomationbackend+9
377k
Development

Test de Aptos Move

Expert en test de contrats intelligents Move sur Aptos, y compris les tests unitaires, les tests d’intégration, la vérification formelle Move Prover, les stratégies de débogage et la couverture des tests. Déclenche sur les mots-clés move test, test unitaire, test d’intégration, move prover, vérification formelle, déboguer, couverture, assert, expect

ci-cddebuggingdocumentation+2
272k
Web3 & Blockchain

Développement AWS CDK

Expert en AWS Cloud Development Kit (CDK) pour la construction d'infrastructures cloud avec TypeScript/Python. Utilisez-le lors de la création de stacks CDK, de la définition de constructs CDK, de l'implémentation d'infrastructure as code ou lorsque l'utilisateur mentionne CDK, CloudFormation, IaC, cdk synth, cdk deploy ou veut définir une infrastructure AWS de manière programmatique. Couvre la structure de l'application CDK, les modèles de construct, la composition des stacks et les flux de déploiement.

apici-cddocumentation+6
446k
DevOps

Adaptyv

Plateforme de laboratoire en nuage pour les tests et la validation automatisés des protéines. Utilisez-la lors de la conception de protéines et lorsque vous avez besoin de validation expérimentale incluant des tests de liaison, des tests d'expression, des mesures de thermostabilité, des tests d'activité enzymatique ou l'optimisation des séquences protéiques. Utilisez-la également pour soumettre des expériences via API, suivre l'état des expériences, télécharger les résultats, optimiser les séquences protéiques pour une meilleure expression à l'aide d'outils informatiques (NetSolP, SoluProt, SolubleMPNN, ESM) ou gérer les flux de travail de conception de protéines avec validation en laboratoire humide.

authenticationdocumentationpython+1
225k
Development
Voir Toutes les Compétences