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
CE QUE VOUS DEVENEZ
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
GAIN MESURÉ
Avantages 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
CE QUE VOUS OBTENEZ
Fichiers, tags et installation en trois étapes
Conseil : Lisez la documentation et le code avant la première utilisation pour connaître son rôle et les permissions requises.
SCRIPTS SUIVANTS
Recommandé selon les tags et la catégorie
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
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
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.
Validez que les schémas OpenAPI, Swagger et GraphQL correspondent à l'implémentation backend. Détectez les modifications brisantes, générez des clients TypeScript et assurez que la documentation API reste synchronisée. Utilisez-le lors de la manipulation de fichiers de spécification API (.yaml, .json, .graphql), de l'examen des modifications API, de la génération de types frontend ou de la validation des implémentations d'endpoints.