[console_scripts]
lean-lsp-mcp = lean_lsp_mcp:main
