[console_scripts]
lean-mcp-server = lean_mcp.server:main
