[console_scripts]
flowproof=flowproof.cli:main
flowproof-mcp=flowproof.mcp_server:main
