Shelby Cli Assistant

Construisez des systèmes backend robustes avec des technologies modernes (Node.js, Python, Go, Rust), des frameworks (NestJS, FastAPI, Django), des bases de données (PostgreSQL, MongoDB, Redis), des APIs (REST, GraphQL, gRPC), l'authentification (OAuth 2.1, JWT), des stratégies de test, les meilleures pratiques en sécurité (OWASP Top 10), l'optimisation des performances, les modèles d'évolutivité (microservices, mise en cache, partitionnement), les pratiques DevOps (Docker, Kubernetes, CI/CD) et la surveillance. Utilisez-le lors de la conception d'APIs, de la mise en œuvre de l'authentification, de l'optimisation des requêtes de base de données, de la configuration de pipelines CI/CD, de la gestion des vulnérabilités de sécurité, de la construction de microservices ou du développement de systèmes backend prêts pour la production.

Documentation de l'Apify JS SDK - Web scraping, crawling et développement d'Actor

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 en AWS Cloud Development Kit (CDK) pour la construction d'infrastructures cloud avec TypeScript/Python. Utilisez-le lors de la création de stacks CDK, de la définition de constructs CDK, de l'implémentation d'infrastructure as code ou lorsque l'utilisateur mentionne CDK, CloudFormation, IaC, cdk synth, cdk deploy ou veut définir une infrastructure AWS de manière programmatique. Couvre la structure de l'application CDK, les modèles de construct, la composition des stacks et les flux de déploiement.