macOS
Homebrewverified · 100%
brew install mypylocal Homebrew formula metadata
brew
Install mypy with Homebrew, apt, Nix, pacman, zypper
Experimental optional static type checker for Python. Version 2.1.0 via Homebrew; verified 2026-05-12.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install mypyDebian stable package indexes · mypy · source: deb.debian.org
Nixverified · 92%
nix profile install nixpkgs#mypynixpkgs package indexes · mypy · source: raw.githubusercontent.com
Arch Linux pacmanverified · 92%
sudo pacman -S mypyArch Linux sync databases · mypy · source: geo.mirror.pkgbuild.com
openSUSE zypperverified · 92%
sudo zypper install python313-mypyopenSUSE Tumbleweed package metadata · python313-mypy · source: download.opensuse.org
overview
Package summary
Experimental optional static type checker for Python
Project links
Commands and aliases
- dmypy
- mypy
- mypyc
- stubgen
- stubtest
history
Project history and usage
mypy is an optional static type checker for Python. Jukka Lehtosalo began work on it in 2012 while at the University of Cambridge Computer Laboratory as a PhD student, borrowing ideas from his earlier Alore language and from gradual typing research. The project grew from an experiment in adding an optional static type system to Python-like code into the best-known standalone checker for ordinary Python programs.
Project history
The technical turning point was the standardization of Python type hints. PEP 484 defines the syntax and goals for type annotations in Python, explicitly naming offline type checkers such as mypy as a primary use case while keeping Python dynamically typed and type hints optional. The mypy blog described the first PEP 484 draft as heavily inspired by mypy, and later mypy versions implemented the PEP 484 annotation model used in Python codebases, editors, and CI systems.
How it is used
Dropbox became a major adoption story and development home for mypy. A Dropbox engineering writeup describes its gradual migration to static checking across millions of lines of Python, calling mypy likely the most popular standalone Python type checker and noting that the core team was employed by Dropbox. In day-to-day use, developers add annotations in source files or stubs, run the `mypy` command to find type errors without executing the program, use `dmypy` for daemonized checks, and use helpers such as `stubgen`, `stubtest`, and `mypyc` for typing ecosystem work. Package managers ship it as a developer tool for Python projects that want static analysis without changing Python's runtime model.
Sources
- https://dropbox.tech/application/our-journey-to-type-checking-4-million-lines-of-python
- https://formulae.brew.sh/formula/mypy
- https://github.com/python/mypy
- https://mypy-lang.blogspot.com/2015/01/mypy-and-pep-484-type-hinting-draft.html
- https://mypy-lang.org/
- https://mypy-lang.org/about.html
- https://mypy.readthedocs.io/
- https://peps.python.org/pep-0484/
security posture
No protected-tool coverage found yet
No matching local secret-handling manifest was found for mypy. Nucleus package metadata is still published here so future coverage has a stable package URL.
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 1 runtime dependencies.
- Build metadata lists 1 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
local files
Configuration and credential file locations
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Configuration files
Config paths the tool may read or write during local use.
- Unix
mypy.ini.mypy.inipyproject.tomlsetup.cfg$XDG_CONFIG_HOME/mypy/config~/.config/mypy/config~/.mypy.ini
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
dmypy | cli | global executable | |
mypy | cli | global executable | |
mypyc | cli | global executable | |
stubgen | cli | global executable | |
stubtest | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version2.1.0
manager updated2026-05-12
local dataok
upstreamnot checked
latest detectednot detected
- infoRelease/tag comparison is only available for GitHub repositories.https://www.mypy-lang.org/none confidence
install metadata
Package metadata
| Package key | brew:mypy |
|---|---|
| Version | 2.1.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/mypy |
| Homepage | https://www.mypy-lang.org/ |
| Repository | https://github.com/python/mypy |
| Upstream docs | https://mypy-lang.org/ |
| License | MIT |
| Source archive | https://files.pythonhosted.org/packages/82/15/cca9d88503549ed6fedeaa1d448cdddd542ee8a490232d732e278036fbf2/mypy-2.1.0.tar.gz |
| Last updated | 2026-05-12T23:20:41Z |
| Pulse | updated |
| Dependencies | python@3.14 |
| Build dependencies | rust |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | mypy |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
mypy 1.15.0-5
optional static typing for Python
sudo apt install mypy- Section: python
- Architecture: all
- 2 dependencies
- 2 optional deps
- normalized package name match
- Matched by: Mypy
Debian apt95%
mypy-doc 1.15.0-5
documentation for mypy
sudo apt install mypy-doc- Section: doc
- Architecture: all
- Source Package: mypy
- 1 dependencies
- 5 optional deps
- normalized package name match
- Matched by: Mypy
Debian apt95%
python3-mypy 1.15.0-5
public modules for mypy (Python 3)
sudo apt install python3-mypy- Section: python
- Architecture: amd64
- Source Package: mypy
- 7 dependencies
- 3 optional deps
- normalized package name match
- Matched by: Mypy
Nix95%
mypy
nix profile install nixpkgs#mypy- normalized package name match
- Matched by: Mypy
Ubuntu apt95%
mypy 1.9.0-4ubuntu1
optional static typing for Python
sudo apt install mypy- Section: universe/python
- Architecture: all
- 2 dependencies
- 2 optional deps
- normalized package name match
- Matched by: Mypy
Ubuntu apt95%
mypy-doc 1.9.0-4ubuntu1
documentation for mypy
sudo apt install mypy-doc- Section: universe/doc
- Architecture: all
- Source Package: mypy
- 1 dependencies
- 5 optional deps
- normalized package name match
- Matched by: Mypy
Ubuntu apt95%
python3-mypy 1.9.0-4ubuntu1
public modules for mypy (Python 3)
sudo apt install python3-mypy- Section: universe/python
- Architecture: amd64
- Source Package: mypy
- 8 dependencies
- 2 optional deps
- normalized package name match
- Matched by: Mypy
pacman95%
mypy 1.20.2-1
Optional static typing for Python (PEP484)
sudo pacman -S mypy- License: MIT
- Architecture: any
- 6 dependencies
- 4 optional deps
- normalized package name match
- Matched by: Mypy
zypper95%
python313-mypy 2.1.0-1.1
Optional static typing for Python
sudo zypper install python313-mypy- License: MIT
- Category: Unspecified
- Architecture: noarch
- Source Package: python-mypy
- 10 dependencies
- 5 provides
- normalized package name match
- Matched by: Mypy
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated configuration and credential file locations
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment