SKILL·B934E5

mypy

mattnigh
Updated 1 month ago
14 views
22
1
22
View on GitHub
Othermypytype-checkingtype-hintsstatic-analysispythonfastapidjango

About

mypy is a static type checker for Python that enables gradual typing with type hints and comprehensive type safety. Use it to add type safety to Python projects, enforce type checking in CI/CD, and refactor code with type annotations. It supports strict mode, Protocol types, and integrates with frameworks like FastAPI and Django.

Quick Install

Claude Code

Recommended
Primary
npx skills add mattnigh/skills_collection -a claude-code
Plugin CommandAlternative
/plugin add https://github.com/mattnigh/skills_collection
Git CloneAlternative
git clone https://github.com/mattnigh/skills_collection.git ~/.claude/skills/mypy

Copy and paste this command in Claude Code to install this skill

GitHub Repository

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

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.

Related Skills

asyncio
Other

This skill provides comprehensive guidance on Python's asyncio framework for modern concurrent programming using async/await syntax. It covers core concepts like event loops, tasks, and coroutines along with practical implementations including aiohttp for async HTTP operations and FastAPI async patterns. Use it when building concurrent I/O-bound applications, parallel API clients, real-time systems, or async web servers.

View skill
golang-observability-opentelemetry
Other

This skill provides comprehensive Go observability instrumentation using OpenTelemetry for distributed tracing, Prometheus for metrics collection, and structured logging with slog. Use it when instrumenting microservices for production monitoring, debugging distributed systems, or setting up operational dashboards. It covers everything from initializing tracers and metrics endpoints to implementing HTTP middleware and health checks.

View skill
jest-typescript
Other

This skill provides Jest with TypeScript configuration for industry-standard testing in JavaScript/TypeScript projects. It's ideal for testing existing Jest projects, React/Node.js applications with TypeScript, and migrating JavaScript projects to TypeScript. The setup includes Jest ecosystem tools, React Testing Library integration, snapshot testing, and built-in coverage reporting.

View skill
pytest
Other

This skill enables professional Python testing with pytest, providing fixtures, parametrization, and mocking capabilities. It's ideal for writing unit/integration tests, TDD workflows, and testing async code across frameworks like FastAPI, Django, and Flask. Developers can quickly set up tests with fixtures, use parametrization for multiple scenarios, and run comprehensive test suites.

View skill