feat(web): add browser launch and database access#223

skulidropek merged 1 commit intomainProverCoderAI/docker-git:mainfrom

codex/ci-e2e-ssh-checksProverCoderAI/docker-git:codex/ci-e2e-ssh-checksCopy head branch name to clipboard