[console_scripts]
lean-ctx = thinkery_leanctx_engine.launcher:main
