proof-run is live

Served by nginx on port 8000.