Atelier d'agents

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.

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.

Expert en architecture sans serveur et pilotée par les événements AWS basée sur le cadre Well-Architected. Utilisez-le lors de la construction d'API sans serveur, de fonctions Lambda, d'API REST, de microservices ou de workflows asynchrones. Couvre Lambda avec TypeScript/Python, API Gateway (REST/HTTP), DynamoDB, Step Functions, EventBridge, SQS, SNS et les modèles sans serveur. Indispensable lorsque l'utilisateur mentionne sans serveur, Lambda, API Gateway, piloté par les événements, traitement asynchrone, files d'attente, pub/sub, ou veut construire des applications sans serveur évolutives selon les bonnes pratiques AWS.

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