[console_scripts]
verix = verix.cli:app
verix-mcp = verix.mcp.server:main
