add ,

app.py

@@ -42,7 +42,7 @@ final_answer = FinalAnswerTool()
 model = HfApiModel(
 max_tokens=8384,
 temperature=0.5,
-model_id='deepseek-ai/DeepSeek-Prover-V2-671B'    
+model_id='deepseek-ai/DeepSeek-Prover-V2-671B',    
 #model_id='Qwen/Qwen2.5-Coder-32B-Instruct',# it is possible that this model may be overloaded
 custom_role_conversions=None,
 )