Linode Cli

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 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.

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