[console_scripts]
lean-agent = lean_agent.cli:main
