[console_scripts]
lean-run = lean_runtime.run_cli:main
lean-runtime = lean_runtime.cli:main
lean-runtime-catalog = lean_runtime.discovery.catalog_cli:main
