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
Frequently asked questions
What is the mypy skill?
mypy is a Claude Skill by mattnigh. Skills package instructions and resources that Claude loads on demand, so Claude can perform mypy-related tasks without extra prompting.
How do I install mypy?
Use the install commands on this page: add mypy to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does mypy belong to?
mypy is in the toolchain category, tagged mypy, type-checking, type-hints, static-analysis, python and fastapi.
Is mypy free to use?
Yes. mypy is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Compétences associées
Cette 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.
Cette 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é.
Cette compétence fournit à Jest une configuration TypeScript pour des tests conformes aux standards de l'industrie dans les projets JavaScript/TypeScript. Elle est idéale pour tester des projets Jest existants, des applications React/Node.js avec TypeScript, et pour migrer des projets JavaScript vers TypeScript. La configuration inclut des outils de l'écosystème Jest, l'intégration de React Testing Library, les tests par instantané (snapshot) et un rapport de couverture intégré.
Cette compétence permet un test Python professionnel avec pytest, en fournissant des fixtures, de la paramétrisation et des capacités de simulation (mocking). Elle est idéale pour écrire des tests unitaires/d'intégration, des flux de travail TDD et pour tester du code asynchrone sur des frameworks comme FastAPI, Django et Flask. Les développeurs peuvent configurer rapidement des tests avec des fixtures, utiliser la paramétrisation pour plusieurs scénarios et exécuter des suites de tests complètes.