- Étape 1 : Installer Lean Dojo avec pip install lean-dojo
- Étape 2 : Importer la classe LeanAgent dans votre projet Python
- Étape 3 : Configurer votre fournisseur LLM et vos clés API
- Étape 4 : Définir des outils et des modules de mémoire pour votre agent
- Étape 5 : Instancier LeanAgent avec le modèle, les outils et la mémoire
- Étape 6 : Appeler agent.run() pour démarrer les interactions autonomes
- Étape 7 : Surveiller les journaux et ajuster les invites ou l'intégration des outils