[console_scripts]
jstprove = python.frontend.cli:main
