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