[console_scripts]
flowproof-mcp = flowproof.server:main
