[console_scripts]
veriphy-sage-server = veriphy.sage_server:main
