Amélioration de la qualité du code

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

Générez et maintenez les fichiers AGENTS.md conformément à la convention publique agents.md. Utilisez-le lors de la création de documentation pour les flux de travail des agents IA, les guides d’intégration ou lors de la standardisation des modèles d’interaction des agents à travers les projets.

Expert sur l'API Anthropic Claude, les modèles, l'ingénierie de prompts, l'appel de fonctions, la vision et les meilleures pratiques. Déclenche sur anthropic, claude, api, prompt, appel de fonctions, vision, messages api, embeddings

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