zubanls/zuban

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1175 stars · 41 forks observed · 2026-09-03

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Zuban is a high-performance Python type checker and Language Server written in Rust by the author of Jedi. It offers a Pyright-like checking mode, a Mypy-compatible mode, and full LSP support including completions, goto, references, rename, and diagnostics.

Use cases

• type check a python codebase fast
• replace mypy with a faster drop-in alternative
• add python autocompletion and goto-definition to my editor
• run a language server for python in neovim or vscode
• check types with mypy config files and flags
• get inline diagnostics and rename support for python

When to choose

• you want mypy-compatible type checking that is dramatically faster
• you need a full-featured Python LSP server for editors like VSCode, Vim, Helix, or Zed
• you want strong Python type system coverage including TypeVar, ParamSpec, protocols, and type narrowing
• memory and CPU usage of existing type checkers is a bottleneck

When to avoid

• you rely on mypy plugins or a broad plugin ecosystem, since general plugin support is not planned
• you need a fully stable checker - it is a beta release with some expected false positives
• AGPL-3.0 licensing is incompatible with your organization and you cannot obtain a commercial license

Facets

cli-tool · maturity experimental

type-system linter editor developer-tools developer-tools programming-languages windows cli editor-plugin python rust python-type-checker language-server-protocol mypy-compatible static-analysis autocompletion python linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="zubanls/zuban")