[console_scripts]
symkit-lean-setup = symkit.infrastructure.lean_toolchain:main
symkit-mcp = symkit_mcp.server:main
