mypy
À propos
mypy est un vérificateur de types statique pour Python qui permet un typage progressif avec des indications de type et une sécurité de type complète. Utilisez-le pour ajouter de la sécurité de type aux projets Python, appliquer la vérification de type dans les pipelines CI/CD, et refactoriser du code avec des annotations de type. Il prend en charge le mode strict, les types Protocol, et s'intègre avec des frameworks comme FastAPI et Django.
Installation rapide
Claude Code
Recommandénpx skills add mattnigh/skills_collection -a claude-code/plugin add https://github.com/mattnigh/skills_collectiongit clone https://github.com/mattnigh/skills_collection.git ~/.claude/skills/mypyCopiez et collez cette commande dans Claude Code pour installer cette compétence
Dépôt GitHub
Compétences associées
asyncio
AutreCette compétence fournit des conseils complets sur le framework asyncio de Python pour la programmation concurrente moderne en utilisant la syntaxe async/await. Elle couvre les concepts fondamentaux tels que les boucles d'événements, les tâches et les coroutines, ainsi que des implémentations pratiques incluant aiohttp pour les opérations HTTP asynchrones et les modèles asynchrones de FastAPI. Utilisez-la lors de la construction d'applications concurrentes liées aux entrées/sorties, de clients API parallèles, de systèmes en temps réel ou de serveurs web asynchrones.
golang-http-frameworks
AutreCette compétence aide les développeurs à créer des API REST prêtes pour la production en Go en utilisant les frameworks net/http, Chi, Gin, Echo et Fiber. Elle couvre la structuration des routes, la mise en œuvre de middleware, la validation des requêtes et les modèles de gestion des erreurs. Utilisez-la lors du choix d'un framework HTTP, de la conception de points de terminaison REST, ou de la mise en œuvre de l'authentification et des tests pour les services Go.
golang-observability-opentelemetry
AutreCette compétence fournit une instrumentation complète d'observabilité Go en utilisant OpenTelemetry pour le traçage distribué, Prometheus pour la collecte de métriques et la journalisation structurée avec slog. Utilisez-la pour instrumenter des microservices en vue d'une surveillance en production, du débogage de systèmes distribués ou de la configuration de tableaux de bord opérationnels. Elle couvre tout, de l'initialisation des traceurs et des points de terminaison de métriques à la mise en œuvre de middleware HTTP et de contrôles de santé.
mcp
AutreCette compétence permet aux développeurs de construire des serveurs MCP qui exposent des outils, des ressources et des invites pour l'intégration avec Claude Desktop. Utilisez-la lors de la création d'intégrations d'IA, de l'exposition d'API aux LLM, ou de la construction d'extensions Claude Desktop avec des connecteurs de données personnalisés. Elle fournit des SDK TypeScript/Python pour implémenter des outils d'IA côté serveur.
