Async Programming — race-free asyncio and Tokio with a TDD workflow
Concurrence Python (asyncio) et Rust (Tokio) en sécurité : prévention des race conditions, locks et sémaphores, nettoyage des ressources à l'annulation, arrêt gracieux, plus CVEs pertinentes et checklists pré-commit
- Quoi
- Concurrence Python (asyncio) et Rust (Tokio) en sécurité : prévention des race conditions, locks et sémaphores, nettoyage des ressources à l'annulation, arrêt gracieux, plus CVEs pertinentes et checklists pré-commit
- Coût
- Gratuit
- Prérequis
- un projet Python (asyncio) ou Rust (Tokio) avec du code concurrent — le skill est un guide d'expertise que l'agent suit, pas un logiciel
- Installation
- Copiez le prompt d’installation ci-dessous dans votre Muse — votre agent fait le reste.
Sélectionné par Skill Harbor — async-programming de @martinholovsky : un skill de programmation async pour Python (asyncio) et Rust (Tokio) avec discipline TDD-first. Principes centraux : écrire les tests async avant l'implémentation, conscience de la performance (asyncio.gather, sémaphores, pas d'appels bloquants), identifier les race conditions aux points d'await, protéger l'état partagé avec locks/opérations atomiques, gérer les ressources avec des context managers async, gérer les erreurs en contexte concurrent, éviter les deadlocks. Livré avec un cadre de décision, des patterns concrets bon-vs-mauvais (gather, sémaphores, TaskGroups, executors pour le CPU), des opérations DB atomiques, un arrêt gracieux avec gestion de l'annulation, une section de standards de sécurité (race conditions, TOCTOU, CVE-2024-12254 et autres), les anti-patterns courants et des checklists par phase. Bémols honnêtes : le skill se déclare lui-même risk_level MEDIUM — les race conditions et vulnérabilités de timing sont le sujet, et le contenu est défensif (comment les prévenir), pas offensif ; il pointe vers des fichiers references/ groupés (exemples de sécurité, patterns avancés) livrés avec le repo. Le frontmatter du skill ne mentionne aucune licence ; le manifest du catalogue indique Unlicense — le manifest fait foi. Skill Harbor ne vérifie jamais le code, examinez-le vous-même avant usage. Découvert via skills.sh.
Version :
Installation
Prérequis : un projet Python (asyncio) ou Rust (Tokio) avec du code concurrent — le skill est un guide d'expertise que l'agent suit, pas un logiciel Installe-moi « Programmation async — asyncio et Tokio sans race conditions, avec workflow TDD ». Il donne à mon agent l'expertise async de @martinholovsky : développement async TDD-first, identification et prévention des race conditions, locks et opérations atomiques pour l'état partagé, context managers async pour la sécurité des ressources, asyncio.gather et sémaphores pour la performance, TaskGroups, arrêt gracieux avec gestion de l'annulation, standards de sécurité (TOCTOU, fuites de ressources, références CVE), et checklists pré-implémentation. Note de licence : le frontmatter du skill ne mentionne aucune licence ; le manifest du catalogue indique Unlicense — le manifest fait foi. Dépôt : https://github.com/martinholovsky/claude-skills-generator/blob/main/skills/async-programming/SKILL.md 1. Récupère le fichier SKILL.md (et les fichiers d'aide éventuels) depuis le chemin du dépôt dans un dossier temporaire et résume en une ou deux phrases ce qu'il fait. 2. Vérification de sécurité : examine le SKILL.md et les scripts pour tout contenu suspect (appels réseau inattendus, commandes shell, collecte d'identifiants). Ce dépôt ne devrait contenir aucun secret en dur. Vérifie que c'est bien le cas ici ; STOP sur tout signal d'alerte et dis-le-moi. 3. Installe-le comme skill : copie le SKILL.md et ses fichiers d'aide dans le répertoire des skills de l'agent, dans un dossier nommé « async-programming ». 4. Vérifie sans appels réseau : frontmatter valide, fichiers en place. 5. Indique ce qui a été installé, où, et ce qu'il me reste à faire moi-même (rien — c'est un guide d'expertise que l'agent applique en écrivant du code Python/Rust concurrent). GitHub est optionnel : si j'ai un compte GitHub ou la CLI gh, tu peux l'utiliser ; sinon l'accès public suffit. Ne jamais l'exiger sauf s'il figure dans les prérequis ci-dessus. Règles : ne touche à rien en dehors du dossier temporaire et de la cible d'installation. Si quelque chose semble anormal, arrête-toi et demande-moi.
Questions
Comment installer une création ?
Chaque fiche produit contient un prompt d’installation à copier-coller. Collez-le dans votre Muse et il installe la création pour vous — sans configuration manuelle.
Où va mon argent ?
Directement au vendeur. Skill Harbor ne traite jamais les paiements : le paiement se fait sur la page du vendeur, généralement via Stripe.
Que signifie le ✓ à côté du nom d’un créateur ?
Il signifie que nous avons confirmé l’identité de la personne derrière la fiche. Il ne dit rien sur le code lui-même — vérifiez toujours une création avant de l’installer.