# Mypy

> Use this skill when the user wants to type-check Python code, find type errors, verify PEP 484 annotations, or enforce static typing.

- Skill: `javimosch/mypy` (Agent Skill)
- Install (CLI): `npx skillmds@latest add javimosch/mypy`
- Raw SKILL.md: https://api.skillmd.com/api/skills/javimosch/mypy/raw
- Safety review: PASS (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: javimosch (https://skillmd.com/u/javimosch)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/javimosch/mypy

---


# mypy Plugin

Python static type checker (PEP 484).

## Commands

### Check
- `mypy check run` — Type-check Python files
- `mypy check strict` — Type-check with strict mode

## Usage Examples
- "Type-check this Python file"
- "Find type errors in my project"
- "Run strict type checking"
- "Verify type annotations"

## Installation

```bash
pip install mypy
```

## Examples

```bash
# Basic type check
mypy mymodule.py

# Check a package
mypy mypackage/

# Strict mode
mypy --strict mymodule.py

# With config
mypy --config-file mypy.ini mymodule.py

# Ignore missing imports
mypy --ignore-missing-imports mymodule.py

# Strict optional
mypy --strict-optional mymodule.py
```