mypy
Acerca de
mypy es un verificador de tipos estático para Python que permite el tipado gradual mediante sugerencias de tipo. Ayuda a agregar seguridad de tipos a proyectos de Python, admite un modo estricto para una verificación máxima y se integra con frameworks como FastAPI y Django. Úsalo para aplicar la verificación de tipos durante el desarrollo, la refactorización o en las canalizaciones de CI/CD.
Instalación rápida
Claude Code
Recomendadonpx 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/mypyCopia y pega este comando en Claude Code para instalar esta habilidad
Repositorio 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.
Habilidades relacionadas
Esta habilidad proporciona una guía completa sobre el framework asyncio de Python para programación concurrente moderna utilizando la sintaxis async/await. Cubre conceptos fundamentales como bucles de eventos, tareas y corrutinas, junto con implementaciones prácticas que incluyen aiohttp para operaciones HTTP asíncronas y patrones asíncronos de FastAPI. Úsala al construir aplicaciones concurrentes vinculadas a E/S, clientes de API paralelos, sistemas en tiempo real o servidores web asíncronos.
Esta habilidad proporciona instrumentación integral de observabilidad para Go utilizando OpenTelemetry para trazas distribuidas, Prometheus para recolección de métricas y registro estructurado con slog. Úsela al instrumentar microservicios para monitorización en producción, depurar sistemas distribuidos o configurar paneles operacionales. Cubre todo desde la inicialización de trazadores y endpoints de métricas hasta la implementación de middleware HTTP y comprobaciones de salud.
mypy es un verificador de tipos estático para Python que permite tipado gradual con sugerencias de tipo y seguridad de tipos integral. Úsalo para agregar seguridad de tipos a proyectos Python, hacer cumplir la verificación de tipos en CI/CD y refactorizar código con anotaciones de tipo. Es compatible con el modo estricto, tipos Protocol y se integra con frameworks como FastAPI y Django.
Esta habilidad proporciona a Jest la configuración de TypeScript para pruebas de estándar industrial en proyectos JavaScript/TypeScript. Es ideal para probar proyectos existentes de Jest, aplicaciones React/Node.js con TypeScript, y migrar proyectos JavaScript a TypeScript. La configuración incluye herramientas del ecosistema Jest, integración con React Testing Library, pruebas de instantáneas y reportes de cobertura incorporados.
