Command-line tool

pyrefly

brew/pyrefly

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Fast type checker and IDE for Python rust python hacktoberfest ide language-server lsp code-quality typing typechecker contributions-welcome good-first-issue type-check

Website Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

winget install --id facebook.pyrefly -e
scoop install pyrefly

macOS

brew install pyrefly

Linux

brew install pyrefly

Browse

• Website monitoring

Related command-line tools

• ty
  Extremely fast Python type checker, written in Rust python
• zuban
  Python language server and type checker, written in Rust
• ruff
  Extremely fast Python linter, written in Rust rust python python3 static-analysis linter static-code-analysis ruff…
• pyright
  Static type checker for Python
• pypy2
  A fast, compliant alternative implementation of the Python language.
• pypy3
  A fast, compliant alternative implementation of the Python language.
• rust-glancer
  Lightweight Rust language server optimized for low memory usage and fast restarts.
• pylyzer
  Fast static code analyzer & language server for Python

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents