MCP HubMCP Hub
Retour aux compétences

mypy

mattnigh
Mis à jour 5 days ago
12 vues
22
1
22
Voir sur GitHub
Autremypytype-checkingtype-hintsstatic-analysispythonfastapidjango

À 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é
Principal
npx skills add mattnigh/skills_collection -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/mattnigh/skills_collection
Git CloneAlternatif
git clone https://github.com/mattnigh/skills_collection.git ~/.claude/skills/mypy

Copiez et collez cette commande dans Claude Code pour installer cette compétence

Dépôt GitHub

mattnigh/skills_collection
Chemin: collection/danielseltzer__code-analysis-tools__claude__skills__toolchains-python-tooling-mypy__SKILL.md
0

Compétences associées

asyncio

Autre

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.

Voir la compétence

golang-http-frameworks

Autre

Cette 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.

Voir la compétence

golang-observability-opentelemetry

Autre

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é.

Voir la compétence

mcp

Autre

Cette 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.

Voir la compétence