pyrefly

Claude Code plugin: Python type-checker LSP multiplexer. Auto-detects .venv and routes to pyright/ty/pyrefly—no Claude Code restart.

Compare Python type checkers across one codebase and see which diagnostics actually agree.

Daily performance benchmarks for Python type checkers and language servers, plus the history and state of typed Python.

Add type infomation and typeshed links to the CPython docs

Pyrefly Language Server extension for coc.nvim

Pre-commit hooks for the pyrefly type checker

LSP types for Python

Shortify is a URL shortener RESTful API built with Python and FastAPI.

A simple asynchronous httpx+pydantic wrapper over the e621 API

a runtime-aware Python IDE for FastAPI, scraping, and scripting.

Pants plugin that runs the Pyrefly type checker in the check goal.

lsp-mode ❤️ pyrefly

Pre-commit gates that run each heavy check once, sized to the machine.

A modern, minimal Python project boilerplate with batteries included

A Counter Strike esports web game, inspired by the NBA web game 82-0

PyCharm plugin that runs Pyrefly as a language server via LSP4IJ: Pyrefly type errors, hover types and inlay hints, without the freezes of PyCharm's built-in Pyrefly type engine. Written by Claude.

🌸 A cute, uv-native Neovim config for Python & AI/ML — pyrefly + ruff, blink.cmp + GitHub Copilot, Jupyter notebooks, DAP + neotest, and a pink theme with a Nyan-cat statusline 🐱

Compile GraphQL documents into a typed Python package with no imposed transport, no runtime dependencies, and no redundant validation

A modern GitHub template for starting AI-centric Python projects with batteries included.

Python with the src layout, uv, ruff with every rule, pyrefly, and pytest