Dev tools You can run the linting, formatting, tests and static analysis with make: make lint make format make type-check make test make coverage Note: you can run all checks with make check