Trouvez le skill parfait
Spécification TLA+ pour systèmes distribués
Developpement
Spécification formelle en TLA+ pour la conception et la vérification de systèmes distribués et d'algorithmes concurrents. Permet une précision mathématique, la détection précoce de bugs de concurrence et une vérification exhaustive par model checking avec TLC. Utilisé par Amazon (AWS), Microsoft et MongoDB pour garantir la correction des systèmes avant implémentation.
Validateur d'artefacts Conductor
Developpement
Valide les artefacts de projet Conductor pour leur exhaustivité, cohérence et exactitude. À utiliser après la configuration ou avant l'implémentation.
Petit assistant R
Developpement
Aide à coder en R en utilisant les patrons tidyverse modernes et les meilleures pratiques.
Enquêter sur les échecs de workflow
Developpement
Diagnostiquer les causes des échecs et annulations de workflow d'un tableau de bord, en distinguant erreurs réelles et rejets volontaires. Lecture seule, sans correctifs.
Automatisation Cal via Rube MCP
Developpement
Automatisez les opérations Cal via le toolkit Cal de Composio avec Rube MCP. Toujours chercher les outils en premier pour les schémas actuels.
Revue de PR ClickHouse
Developpement
Analysez une PR ClickHouse pour la correction, la sécurité, la performance et la conformité, avec validation des métadonnées du template.
Tableau de bord de dépôt
Developpement
Affiche l'état du dépôt avec les PR prioritaires, les issues, la santé CI/CD et le statut de déploiement. Fournit un aperçu des métriques et tâches suggérées.
Rédaction de compétences d'agent
Developpement
Rédigez ou mettez à jour des compétences d'agent compactes sous skills/<name>/SKILL.md. Utilisez quand on demande d'écrire, ajouter ou modifier une compétence, pas pour auditer une bibliothèque.
Appliquer shadcn/ui
Developpement
Skill pour styliser des pages React avec les composants shadcn/ui en intégrant le thème personnalisé du projet.
Modèles de développement Python
Developpement
Modèles Python idiomatiques couvrant PEP 8, annotations de type et bonnes pratiques pour écrire du code robuste et maintenable. À utiliser lors de l'écriture ou de la revue de code Python.
Recherche OpenRouter et modèles Grok
Developpement
Recherche les spécifications actuelles de l'API OpenRouter et la disponibilité des modèles Grok pour SFUMATO. Se concentre sur la capacité de vision nécessaire au service juge pour analyser les images générées, et couvre la gestion des erreurs, les stratégies de réessai et les modèles d'intégration pour l'implémentation de openrouter_tool.py.
Modèles de workflow TDD
Developpement
Guide pour implémenter des tâches selon le workflow TDD de Conductor, gérer les jalons, commits git et protocole de vérification.