[console_scripts]
proofagent = proofagent.cli:cli

[pytest11]
proofagent = proofagent.plugin
