zkGolf: is it still online? | SaaS OutpostJuly 2026 cohort / Developer tools

A competition where developers build efficient zero-knowledge circuits and verify their correctness in Lean 4.
- Status
- Onlinesince Nov 5, 2026
Last 30 days
100% of checks answered · median response 714 ms
- Oct 8, 2026: Not checked
- Oct 9, 2026: Not checked
- Oct 10, 2026: Not checked
- Oct 11, 2026: Not checked
- Oct 12, 2026: Not checked
- Oct 13, 2026: Not checked
- Oct 14, 2026: Not checked
- Oct 15, 2026: Not checked
- Oct 16, 2026: Not checked
- Oct 17, 2026: Not checked
- Oct 18, 2026: Not checked
- Oct 19, 2026: Not checked
Domain and certificate
- Registrar
- Cloudflare, Inc
- Registered
- Jun 29, 2026 · the week of launch
- Renewal due
- Jun 29, 2027 · in 8 months
- DNS
- Cloudflare
- HTTPS certificate
- valid to Jan 25, 2027 · 3 months left
Registration data for zk.golf from the registry's public RDAP service, looked up Nov 5, 2026.
History
Launched
· Launch announcement
Online
· online
- Last checked Nov 6, 2026
Similar products, all online at their last check.
A framework for developers building browser extensions with fast development servers and optimized builds.
OnlineLets developers install and preview Swift app builds on iPhones from a Mac CLI and builds dashboard.
Oct 20, 2026: Not checkedOct 21, 2026: Not checkedOct 22, 2026: Not checkedOct 23, 2026: Not checkedOct 24, 2026: Not checkedOct 25, 2026: Not checkedOct 26, 2026: Not checkedOct 27, 2026: Not checkedOct 28, 2026: Not checkedOct 29, 2026: Not checkedOct 30, 2026: Not checkedOct 31, 2026: Not checkedNov 1, 2026: Not checkedNov 2, 2026: Not checkedNov 3, 2026: Not checkedNov 4, 2026: Not checkedNov 5, 2026: Online (1 of 1 checks answered)Nov 6, 2026: Online (1 of 1 checks answered)Oct 8, 2026- Online
- Some checks failed
- Down
- Not checked
Today Daily checks started Nov 5, 2026.
OnlineBuilds Java projects from module-info.java or an existing pom.xml without a separate build script.
OnlineProvides design systems and UI rules to AI coding agents so developers can build consistent applications.
OnlineCoordinates coding agents to plan, build, test, and review software changes with developer approval.
OnlineProvides verifiable Linux microVM sandboxes with SSH access for developers.