macOS
Homebrew確認済み · 100%
brew install mypylocal Homebrew formula metadata
brew
mypy を Homebrew, apt, Nix, pacman, zypper でインストール
mypy のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Nix確認済み · 92%
nix profile install nixpkgs#mypynixpkgs package indexes · mypy · ソース: raw.githubusercontent.com
Arch Linux pacman確認済み · 92%
sudo pacman -S mypyArch Linux sync databases · mypy · ソース: geo.mirror.pkgbuild.com
openSUSE zypper確認済み · 92%
sudo zypper install python313-mypyopenSUSE Tumbleweed package metadata · python313-mypy · ソース: download.opensuse.org
概要
パッケージ概要
Experimental optional static type checker for Python
プロジェクトリンク
コマンドとエイリアス
- dmypy
- mypy
- mypyc
- stubgen
- stubtest
履歴
プロジェクトの歴史と使われ方
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.
プロジェクトの歴史
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.
使われ方
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.
ソース
- 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/
セキュリティ状態
保護ツール対応はまだ見つかっていません
mypy に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
- 1 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 1 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
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
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
dmypy | cli | グローバル実行可能ファイル | |
mypy | cli | グローバル実行可能ファイル | |
mypyc | cli | グローバル実行可能ファイル | |
stubgen | cli | グローバル実行可能ファイル | |
stubtest | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-25
マネージャ版2.3.0
マネージャ更新日2026-07-14
ローカルデータOK
上流not checked
検出された最新未検出
- 情報Release/tag comparison is only available for GitHub repositories.https://www.mypy-lang.org/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:mypy |
|---|---|
| バージョン | 2.3.0 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/mypy |
| ホームページ | https://www.mypy-lang.org/ |
| リポジトリ | https://github.com/python/mypy |
| 上流ドキュメント | https://mypy-lang.org/ |
| ライセンス | MIT |
| ソースアーカイブ | https://files.pythonhosted.org/packages/12/af/4e516a05d3ca2eb9283e9ec45b2c02225c1514dd6da49fd3c9eaa6639370/mypy-2.3.0.tar.gz |
| 最終更新 | 2026-07-14T12:42:18Z |
| Pulse | updated |
| 依存関係 | python@3.14 |
| ビルド依存関係 | rust |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Debian apt95%
mypy 1.15.0-5
optional static typing for Python
sudo apt install mypy- Section: python
- Architecture: all
- 2 依存関係
- 2 任意依存関係
- normalized package name match
- 一致条件: 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 依存関係
- 5 任意依存関係
- normalized package name match
- 一致条件: 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 依存関係
- 3 任意依存関係
- normalized package name match
- 一致条件: Mypy
Nix95%
mypy
nix profile install nixpkgs#mypy- normalized package name match
- 一致条件: Mypy
Ubuntu apt95%
mypy 1.9.0-4ubuntu1
optional static typing for Python
sudo apt install mypy- Section: universe/python
- Architecture: all
- 2 依存関係
- 2 任意依存関係
- normalized package name match
- 一致条件: 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 依存関係
- 5 任意依存関係
- normalized package name match
- 一致条件: 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 依存関係
- 2 任意依存関係
- normalized package name match
- 一致条件: Mypy
pacman95%
mypy 1.20.2-1
Optional static typing for Python (PEP484)
sudo pacman -S mypy- License: MIT
- Architecture: any
- 6 依存関係
- 4 任意依存関係
- normalized package name match
- 一致条件: 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 依存関係
- 5 提供
- normalized package name match
- 一致条件: Mypy
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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