[console_scripts]
imandra-cli = imandra.cli:main
imandra-reasoners-mcp = imandra.u.reasoner_gateway_mcp:main
