[console_scripts]
mathkernel-lean-setup = mathkernel.lean_bootstrap:main
mathkernel-mcp = mathkernel_mcp.server:main
