app.py

import gradio as gr

gr.load(
   "models/deepseek-ai/DeepSeek-Prover-V2-671B",
   provider="novita",
).launch()