[console_scripts]
nd-prover = nd_prover.cli:main
