Utilisez lors de la création de nouvelles compétences, de l'édition de compétences existantes ou de la vérification du fonctionnement des compétences avant le déploiement - applique le TDD à la documentation du processus en testant avec des sous-agents avant l'écriture, itérant jusqu'à ce qu'elle soit à l'épreuve de la rationalisation
CE QUE VOUS DEVENEZ
Parfait pour ces scénarios
Vérifier automatiquement la correction des contrats Move en utilisant des méthodes formelles
Détectez les bogues critiques en amont en rédigeant des spécifications formelles
Prouver que les invariants globaux sont respectés pour les protocoles DeFi complexes
Corrige les preuves Move Prover défaillantes avec l'aide d'un expert
GAIN MESURÉ
Avantages prouvés et impact mesurable
Détectez les vulnérabilités avant le déploiement grâce à la vérification formelle
Automatisez la vérification des preuves pour accélérer les examens de sécurité
Assurez-vous que tous les chemins critiques disposent de spécifications formelles
CE QUE VOUS OBTENEZ
Fichiers, tags et installation en trois étapes
Conseil : Lisez la documentation et le code avant la première utilisation pour connaître son rôle et les permissions requises.
SCRIPTS SUIVANTS
Recommandé selon les tags et la catégorie
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.
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 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
Plateforme de laboratoire en nuage pour les tests et la validation automatisés des protéines. Utilisez-la lors de la conception de protéines et lorsque vous avez besoin de validation expérimentale incluant des tests de liaison, des tests d'expression, des mesures de thermostabilité, des tests d'activité enzymatique ou l'optimisation des séquences protéiques. Utilisez-la également pour soumettre des expériences via API, suivre l'état des expériences, télécharger les résultats, optimiser les séquences protéiques pour une meilleure expression à l'aide d'outils informatiques (NetSolP, SoluProt, SolubleMPNN, ESM) ou gérer les flux de travail de conception de protéines avec validation en laboratoire humide.