Module doctor 

Environment diagnostics for lean-ctx installation and integration.

Functions

compact_score

run

Run diagnostic checks and print colored results to stdout.

run_cli

run_compact