OpenRouter API - Accès unifié à plus de 400 modèles d'IA via une seule API
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
rawveg__skillsforge-marketplace/openrouter/skill.mdAvantages prouvés et impact mesurable
Réduisez le temps consacré aux audits manuels en automatisant la vérification formelle.
Détectez les bugs critiques en amont grâce aux vérifications de preuve rigoureuses de Move Prover.
Accélérez le développement avec des schémas de modèles réutilisables et des fonctions d'assistance.
Parfait pour ces scénarios
Vérifier la correction et prévenir les vulnérabilités dans les contrats intelligents basés sur Move.
Identifier et corriger les erreurs de preuve en utilisant les techniques de débogage de Move Prover.
Rédigez des spécifications précises avec des invariants, des préconditions et des postconditions.
Tirez parti des directives pragma et des quantificateurs pour améliorer les performances de vérification.