[console_scripts]
leanctx = leanctx.bench.cli:main
