{"cubie_version":"1.2.0","wire_format":"CubeObjectV1","triple_kernel":{"verus":"0.2026.05.24","coq":"8.18","lean":"4.10"},"cub_theorems":"2,000+","whitepaper":"https://cubie-wwt.pages.dev/whitepaper.pdf"}