[console_scripts]
proofagent = proofagent.cli:main
