Claude Code est l'outil de codage agentif d'Anthropic qui réside dans le terminal et aide à transformer des idées en code plus rapidement. Il combine la planification autonome, l'exécution et la validation avec une extensibilité via des compétences, des plugins, des serveurs MCP et des hooks. Utilisez-le quand les utilisateurs ont besoin d'aide avec : - Comprendre Claude Code f...
CE QUE VOUS DEVENEZ
Parfait pour ces scénarios
Créez des arbres phylogénétiques prêts pour la publication aux formats PDF/SVG.
Identifier les orthologues et les paralogues pour les études de génomique comparative.
Détecter les événements de duplication de gènes, de perte et de spéciation dans les phylogénies.
Annoter les arbres phylogénétiques avec la taxonomie NCBI pour des perspectives évolutives.
GAIN MESURÉ
Avantages prouvés et impact mesurable
Manipulez de grands arbres phylogénétiques 10 fois plus vite que les méthodes manuelles avec etetoolkit.
Réduisez de 50 % le temps d'analyse d'orthologie/paralogie grâce à des outils automatisés.
Générez des arbres de qualité publication sans erreurs de formatage.
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 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
Expert sur la blockchain Aptos, le langage Move, les contrats intelligents, les NFT, la DeFi et le développement Aptos. Se déclenche sur les mots-clés aptos, move, blockchain, contrat intelligent, nft, defi, web3, mainnet, testnet, devnet
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