Auto-diagnostic Lean