diff --git a/tools/server/server.py b/tools/server/server.py
index c6748d0a..47e79cd7 100644
--- a/tools/server/server.py
+++ b/tools/server/server.py
@@ -1,6 +1,7 @@
 """FastAPI server implementation for Reasoning Gym."""
 
 import logging
+from random import Random
 
 from fastapi import FastAPI, HTTPException