[console_scripts]
keel-verify = keel_verifier.cli:main
