lean copilot problem

Stream: Machine Learning for Theorem Proving

[Esteban Estupinan]

Hi all, I managed to install lean copilot with a lot of effort on windows wsl, apparently there are no errors when importing leanCopilot in the.lean file. The problem arises when I execute a command like "suggest_tactics", after a few seconds I get the following error. Maybe someone has already experienced this or knows how to fix this error?

import LeanCopilot

theorem hello_world (a b c : Nat)
  : a + b + c = a + c + b := by
  suggest_tactics

imagen.png