Le Bureau de Dispatch pour la Résolution des Problèmes en Cas de Blocage

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

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