- Schritt 1: Installieren Sie Lean Dojo mit pip install lean-dojo
- Schritt 2: Importieren Sie die LeanAgent-Klasse in Ihr Python-Projekt
- Schritt 3: Konfigurieren Sie Ihren LLM-Anbieter und API-Schlüssel
- Schritt 4: Definieren Sie Tools und Speicher-Module für Ihren Agenten
- Schritt 5: Instanziieren Sie LeanAgent mit Modell, Tools und Speicher
- Schritt 6: Rufen Sie agent.run() auf, um autonome Interaktionen zu starten
- Schritt 7: Überwachen Sie Logs und passen Sie Eingabeaufforderungen oder Tool-Integrationen an