[console_scripts]
proving-machine = proving_machine.cli:run
