Ona（原 Gitpod） 德国 Gitpod 已更名为 Ona（官网 gitpod.io 现指向 ona.com），官方定位「Run background agents」：在云端运行一支 AI 软件工程师团队，具备编排、治理与内核级安全隔离能力。
