docs: def cli(ctx=None, verbose=0):
      """Thoth solver command line interface."""
      if ctx:
          ctx.auto_envvar_prefix = "THOTH_SOLVER"
  
      if verbose:
          _LOG.setLevel(logging.DEBUG)
  
      _LOG.debug("Debug mode is on")