prove(
data: str = typer.Argument(None),
model_id: Optional[str] = typer.Option(None, "--model-id", "-m"),
version_id: Optional[str] = typer.Option(None, "--version-id", "-v"),
size: JobSize = typer.Option(JobSize.S, "--size", "-s"),
framework: Framework = typer.Option(Framework.CAIRO, "--framework", "-f"),
output_path: str = typer.Option("zk.proof", "--output-path", "-o"),
debug: Optional[bool] = DEBUG_OPTION,
) → None