[console_scripts]
proof = proofagent_harness.cli:app
