[console_scripts]
agentic-proofkit = agentic_proofkit.cli:main
