Update metrics.py

metrics.py

@@ -19,10 +19,10 @@ class InteractionMetric:
     error_occurred: bool
     error_message: Optional[str] = None
 
-class EduBotMetrics:
-    """Metrics collection and analysis for EduBot"""
+class MimirMetrics:
+    """Metrics collection and analysis for Mimir"""
     
-    def __init__(self, save_file: str = "edubot_metrics.json"):
+    def __init__(self, save_file: str = "Mimir_metrics.json"):
         self.metrics: List[InteractionMetric] = []
         self.save_file = save_file
         self.lock = threading.Lock()  # Thread-safe for concurrent requests
@@ -167,7 +167,7 @@ class EduBotMetrics:
     def export_csv(self, filename: str = None):
         """Export metrics to CSV format"""
         if filename is None:
-            filename = f"edubot_metrics_{datetime.now().strftime('%Y%m%d_%H%M%S')}.csv"
+            filename = f"Mimir_metrics_{datetime.now().strftime('%Y%m%d_%H%M%S')}.csv"
         
         try:
             import csv