インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%

brew install pyrefly

local Homebrew formula metadata

Linux

Nix確認済み · 92%

nix profile install nixpkgs#pyrefly

nixpkgs package indexes · pkgs/by-name/py/pyrefly/package.nix · ソース: api.github.com

Windows

Scoop確認済み · 92%

scoop install main/pyrefly

Scoop official bucket manifest trees · bucket/pyrefly.json · ソース: api.github.com

Windows Package Manager確認済み · 92%

winget install --id facebook.pyrefly -e

Windows Package Manager source index · facebook.pyrefly · ソース: cdn.winget.microsoft.com

概要

パッケージ概要

Fast type checker and IDE for Python

プロジェクトリンク

コマンドとエイリアス

pyrefly

履歴

プロジェクトの歴史と使われ方

Pyrefly is Meta's high-performance static type checker and language server for Python, implemented in Rust for command-line and IDE workflows.

プロジェクトの歴史

Meta announced Pyrefly publicly as an open-source alpha in May 2025 after developing a new checker around performance, IDE-first behavior, and extensibility. A beta followed in November 2025, and the project declared its stable 1.0 release in May 2026.

採用の歴史

Meta developed Pyrefly for large Python codebases and made it the default type checker for Instagram's Python codebase. Official project materials also report adoption by large open-source projects including PyTorch and JAX.

使われ方

Users run `pyrefly init` to create or update project configuration and `pyrefly check` locally or in CI. The same analysis engine supports editor diagnostics and language features; migration commands can translate nearby mypy or Pyright settings.

パッケージ好きにとっての重要性

Pyrefly is part of a newer generation of high-performance Python type checkers implemented in Rust. It combines a CLI checker and language server, supports migration from mypy and Pyright configurations, and is packaged across Homebrew, Nix, Scoop, and WinGet.

タイムライン

2025: Meta announced Pyrefly as an open-source alpha.
2025: Pyrefly entered beta in November.
2026: Pyrefly reached its stable 1.0 milestone in May.

Related projects

mypy and Pyright are established Python type checkers with documented Pyrefly comparison and migration paths.
The Python typing specification defines the gradual-typing behavior these tools implement.
Pyrefly's language server supplies IDE navigation, completion, diagnostics, and refactoring features.

ソース

セキュリティ状態

保護ツール対応はまだ見つかっていません

pyrefly に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、パッケージメタデータはここに公開されています。

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 5 個のプラットフォームターゲットで利用できます。
ビルドメタデータには 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: pyrefly.tomlpyproject.toml

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`pyrefly`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-11-04

マネージャ版1.4.0

マネージャ更新日2026-10-15

ローカルデータOK

上流最新

検出された最新1.4.0

https://github.com/facebook/pyrefly

OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:pyrefly
バージョン	1.4.0
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/pyrefly
ホームページ	https://pyrefly.org/
リポジトリ	https://github.com/facebook/pyrefly
上流ドキュメント	https://pyrefly.org/
ライセンス	MIT
ソースアーカイブ	https://github.com/facebook/pyrefly/archive/refs/tags/1.4.0.tar.gz
最終更新	2026-10-15T18:41:02Z
Pulse	updated
ビルド依存関係	rust
Bottle	利用可能 (対象 arm64_golden_gate, arm64_linux, arm64_sequoia, arm64_tahoe, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	pyrefly
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	head stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Nix95%

pyrefly

nix profile install nixpkgs#pyrefly

normalized package name match
一致条件: Pyrefly

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/py/pyrefly/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Scoop95%

main/pyrefly

scoop install main/pyrefly

normalized package name match
一致条件: Pyrefly

Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/pyrefly.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

winget95%

facebook.pyrefly

winget install --id facebook.pyrefly -e

normalized package name match
一致条件: Pyrefly

Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: facebook.pyrefly from https://cdn.winget.microsoft.com/cache/source.msix

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

Combined YAML source

View the package source record on GitHub.

combined/pyrefly.yml

使用ソース

Geiger risk classifier
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
pkg.so package database
pkgdb category and tag curation

pyrefly を Homebrew, Nix, scoop, winget でインストール