Add Docker integration example for Provably with Model Runner#18

Merged

SimoneBottoni merged 3 commits into

mainfrom

example/local-model

May 6, 2026

Commits on May 6, 2026

feat(local_model): add example integration of Provably with Docker Model Runner

SimoneBottoni
and
Copilot
committed
fix(local_model): rename DMR_URL to LOCAL_MODEL_URL for consistency
SimoneBottoni
committed
fix(local_model): simplify prompt construction

SimoneBottoni
and
Copilot
committed