macOS
Homebrewvérifié · 100%
brew install mypylocal Homebrew formula metadata
brew
Installer mypy avec Homebrew, apt, Nix, pacman, zypper
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mypy pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install mypyDebian stable package indexes · mypy · Source: deb.debian.org
Nixvérifié · 92%
nix profile install nixpkgs#mypynixpkgs package indexes · mypy · Source: raw.githubusercontent.com
Arch Linux pacmanvérifié · 92%
sudo pacman -S mypyArch Linux sync databases · mypy · Source: geo.mirror.pkgbuild.com
openSUSE zyppervérifié · 92%
sudo zypper install python313-mypyopenSUSE Tumbleweed package metadata · python313-mypy · Source: download.opensuse.org
aperçu
Résumé du paquet
Experimental optional static type checker for Python
Liens du projet
Commandes et alias
- dmypy
- mypy
- mypyc
- stubgen
- stubtest
historique
Historique du projet et usages
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.
Historique du projet
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.
Modes d'utilisation
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/
posture de sécurité
Aucune couverture d'outil protégé trouvée pour le moment
Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour mypy. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable.
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 1 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des 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
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
dmypy | cli | exécutable global | |
mypy | cli | exécutable global | |
mypyc | cli | exécutable global | |
stubgen | cli | exécutable global | |
stubtest | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-25
version du gestionnaire2.3.0
gestionnaire mis à jour2026-07-14
données localesOK
amontnot checked
dernière version détectéenon détecté
- infoRelease/tag comparison is only available for GitHub repositories.https://www.mypy-lang.org/confiance none
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:mypy |
|---|---|
| Version | 2.3.0 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/mypy |
| Page d'accueil | https://www.mypy-lang.org/ |
| Dépôt | https://github.com/python/mypy |
| Docs amont | https://mypy-lang.org/ |
| Licence | MIT |
| Archive source | https://files.pythonhosted.org/packages/12/af/4e516a05d3ca2eb9283e9ec45b2c02225c1514dd6da49fd3c9eaa6639370/mypy-2.3.0.tar.gz |
| Dernière mise à jour | 2026-07-14T12:42:18Z |
| Pulse | updated |
| Dépendances | python@3.14 |
| Dépendances de compilation | rust |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Debian apt95%
mypy 1.15.0-5
optional static typing for Python
sudo apt install mypy- Section: python
- Architecture: all
- 2 Dépendances
- 2 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- 5 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- 3 dépendances optionnelles
- normalized package name match
- Correspondance par : Mypy
Nix95%
mypy
nix profile install nixpkgs#mypy- normalized package name match
- Correspondance par : Mypy
Ubuntu apt95%
mypy 1.9.0-4ubuntu1
optional static typing for Python
sudo apt install mypy- Section: universe/python
- Architecture: all
- 2 Dépendances
- 2 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- 5 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- 2 dépendances optionnelles
- normalized package name match
- Correspondance par : Mypy
pacman95%
mypy 1.20.2-1
Optional static typing for Python (PEP484)
sudo pacman -S mypy- License: MIT
- Architecture: any
- 6 Dépendances
- 4 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- 5 fournit
- normalized package name match
- Correspondance par : Mypy
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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