zubanls/zuban

Here's a 2-3 sentence summary of the open-source project: zuban is a Python type checker and language server that enables teams to reuse and standardize backend