app.py

import gradio as gr

gr.Interface.load("models/morph-labs/morph-prover-v0-7b").launch()