Operations
Sign in to start, stop and verify services
Client id
Password
Sign in
ops
Operations
☾
Start all
Stop all
Sign out
Platform
/
Operations home
Start, stop and verify every service · run demos · build wheels
POLLING 4s
Services
status polled every 4 seconds
Actions
extract · eval · prove · build · verify
gothink.ai · Operations — served by
./run.sh ops
ops