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