facebook/pyrefly

A fast type checker and language server for Python

Developer toolsRust#code-quality#ide#language-server#lsp#python

1.0 Steady Magnitude out of 10. Star growth looks organic. Data as of September 14, 2026.

About the project

A fast type checker and language server for Python with IDE features: code navigation, autocomplete, semantic highlighting. Available as a CLI and extension for VSCode, Neovim, Zed.

Useful for

Type-check a Python project via CLI instead of Mypy or Pyright
Set up autocomplete and code navigation in VSCode or Neovim
Migrate an existing project from Mypy using pyrefly init and suppress

README summarized by DeepSeek V4.1 Flash. Details may be inaccurate.

Why it’s trending

4 stars today.

Stars per day

Bars are daily stars, the line is the usual pace. Red marks spike days.

Numbers

Total stars: 6,964
Stars in a day: 4
Forks: 513
Issues and pull requests: 4,863
Watchers: 23
Language: Rust
License: MIT
Latest release: 1.3.0 · September 11, 2026
Created: February 19, 2025
Last push: September 13, 2026

Star trust

Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.

These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.

Spotted in

September 13, 2026GitHub Trending Rust today: #13, +8 stars

README badge

Paste it into your README — the badge shows the current magnitude and links to this page.

[![Seismograph](https://gitnova.dev/badge/facebook/pyrefly.svg?lang=en)](https://gitnova.dev/en/r/facebook/pyrefly)

Similar projects

6.2
unstablebuild/rune
A fast, GPU-rendered, keyboard-driven IDE for power users: code, terminals, CLI tools, language intelligence, debugging, and AI agents in one composable multi-workspace environment. The AI coding agent ships as an…

Early signalDeveloper toolsGo+61 stars in a day
6.2
max-sixty/worktrunk
A Rust CLI for managing git worktrees: simplifies creating, switching, merging and removing worktrees so multiple AI agents can run in parallel without conflicts.

BreakoutDeveloper toolsRust+183 stars in a day
5.6
crwdla/tokentab
A CLI that reads local session logs from Claude Code, Codex and Gemini CLI and totals token usage and cost by model, project and day. Runs fully offline, with no account or API key.

Early signalDeveloper toolsPython+222 stars in a day
5.5
alibaba/open-code-review
AI code review tool from Alibaba: reads git diffs and, via an LLM agent with file access and repo search, produces line-level review comments. Ships with built-in rules (NPE, thread-safety, XSS, SQL injection) and a…

BreakoutDeveloper toolsGo+689 stars in a day
4.7
Swordfish90/cool-retro-term
A terminal emulator that mimics the look and feel of old cathode tube screens. Works on Linux and macOS, customizable via context menu.

BreakoutDeveloper toolsQML+107 stars in a day
4.6
haxybaxy/video-pedal
A loop pedal for your webcam: hold a key to record, release to loop the recording, press another key to go back live. Output goes to a virtual camera visible to any app.

Early signalDeveloper toolsPython+25 stars in a day