app.py

import gradio as gr

from backend.examples import get_examples, get_example_labels
from backend.pipelines import run_verification_pipeline

def verifier(inputs, verifier_id):
    return run_verification_pipeline(inputs, verifier_id)

demo = gr.Interface(
    verifier,
    [
        gr.Code(lines=8, label="Input text with argdown code block", wrap_lines=True),
        gr.Dropdown(
            [("Logical reconstruction", "log_reco"), ("Logical reconstruction and argument map", "log_reco_and_map")],
            value="log_reco",
            label="Verification Pipeline"
        ),
    ],
    "markdown",
    flagging_mode="never",
    examples=get_examples(),
    example_labels=get_example_labels(),
    title="👌 Argdown-Feedback",
    description="Let this app check your [Argdown](https://argdown.org) code snippets. Please report any bugs or share impressions in the [Community](https://huggingface.co/spaces/DebateLabKIT/argdown-feedback/discussions) section.",
    theme="base",
)

demo.launch()