[console_scripts]
lean-server = lean_server.app.serve:main
