rl-list.com · Vendors · Morph
Morph
Infrastructure medium confidence
www.morph.so ↗ · Status: active confirmed · Founded 2023
Morph (Morph Labs) provides snapshot-based VM compute for AI agents via its Infinibranch / Liquid Metal technology, which can snapshot, branch, and restore entire computational environments in roughly 100-250ms to enable massively parallel, reversible ('Git for compute') agent rollouts, evaluations, and reasoning-time branching. It markets the platform (Morph Cloud) as infrastructure for running and scaling agent/RL verification environments rather than as an RL-environment dataset vendor itself.
Key facts
Headquarters
San Francisco, USAreported cite
Headcount band
1-10estimated cite
Total raised
unknown
Last round
unknown
SOC 2
claimedreported cite
What they sell
infraconfirmed cite
Open source
partial (SDKs only)confirmed cite
Deployment
managed-hosted (cloud platform, accessed via Python/TypeScript SDK, CLI, and API keys)confirmed cite
What's new
- 5 Oct 2026open-source
Morph pulls most of its public research and open-source material: GitHub org down to two SDK repos, Morph Prover model and Trinity post gone
The morph-labs GitHub org now lists only two public repos, morph-python-sdk and morph-typescript-sdk (both Apache-2.0). github.com/morph-labs/SWELancer-Benchmark and github.com/morph-labs/open-r1 return 404. The baseline record found those repos and the example repos on 2026-06-07, so they were removed or made private between 2026-06-07 and 2026-10-05. On Hugging Face, the morph-labs org now shows 0 public models and huggingface.co/morph-labs/morph-prover-v0-7b returns 401. morph.so/blog/trinity returns HTTP 410 Gone. The date given is when this was observed. The Hugging Face and blog removals have no known date.
Why it matters: Researchers can no longer reproduce the benchmark setups and the model the directory used to cite. Morph's public open-source footprint is now just its SDKs.
- 1 Sep 2026product
morphcloud Python SDK/CLI v0.1.115 released, after 0.1.112 (2026-07-19), 0.1.113 (2026-07-29) and 0.1.114 (2026-08-30)
Morph kept shipping its Apache-2.0 Python SDK and CLI through summer 2026. The release before this run of four was 0.1.111 on 2026-04-06. The package covers VM snapshots, instances, SSH, file transfer, HTTP service exposure, Docker containers and snapshot chains.
Why it matters: The platform is still maintained. Teams that depend on it should pin SDK versions.
- 5 Apr 2026partnership
Math Inc's open-source OpenGauss pins a Morph-hosted one-click launch (morph.new/opengauss-0-2-2) in its README
OpenGauss is Math Inc's MIT-licensed CLI orchestrator for Lean proving and autoformalization. Its README says morph.new/opengauss-0-2-2 "launches the hosted setup in under 10 seconds" and that the local installers "can take up to 10 minutes". The commit "Bump version to 0.2.2 and pin Morph README link" is dated 2026-04-05. A Morph badge was already in the README by 2026-03-22, and the repo was created 2026-03-19. On 2026-10-05, a direct request to the morph.new link (and to morph.new/) returned HTTP 404.
Why it matters: This is a public example of Morph Cloud hosting a reproducible environment for formal-math agents. Math Inc was incubated at Morph and is led by Morph's CEO, so it is not an arm's-length customer. The hosted link currently looks broken.
Founding team
Jesse Michael Han
Founder & CEO, Morph Labs. His GitHub profile now lists Math Inc as his company; he leads Math, Inc. as well.
Formal-mathematics and Lean researcher. He formalized the independence of the continuum hypothesis in Lean (the flypitch project, pinned on his GitHub). He co-authored OpenAI's "Formal Mathematics Statement Curriculum Learning" (2022, with Polu and Sutskever). Aggregator profiles also list Microsoft Research and AWS; those are unverified.
Christian Szegedy
Chief Scientist (joined 2025, reported; also reported to be a seed investor). Current status not re-verified in this window.
xAI co-founder and former Google Research scientist (Inception, Batch Normalization, adversarial examples). Early autoformalization researcher.
What practitioners should know
For researchers
- Infinibranch snapshot/branch/restore (under 250ms per the docs) supports reversible, branching agent rollouts and test-time search over full VM state.
- Math Inc credits Morph Cloud with scaling the Lean verification environments for Gauss to thousands of concurrent agents. This is a claim from a closely tied company. OpenGauss (MIT) pins a Morph-hosted launch link, but that link returned 404 on 2026-10-05.
- Morph's earlier public artifacts (SWELancer-Benchmark setup, open-r1 reproduction, Morph Prover v0 7B, the Trinity post) are no longer public. MiniMuSiQue on Hugging Face is still available.
For program managers
- Small team (about 9 to 11 people per aggregators) led by Jesse Han. xAI co-founder Christian Szegedy was reported as Chief Scientist in 2025, and his current status was not re-verified.
- No priced or disclosed funding round found for Morph Labs. The $19-20M Dragonfly-led seed belongs to the unrelated Morph Ethereum L2.
- The only public customer reference is Math Inc, which was incubated at Morph and is led by the same CEO, so it is not arm's-length. No frontier-lab ties have been verified.
- Watch for a change in focus: the CEO's GitHub now lists Math Inc, no Morph blog posts have appeared since October 2025, and public research material was removed between June and October 2026. SDK releases did continue through September 2026.
For data ops
- Self-serve accounts at cloud.morph.so. Python SDK/CLI (pip install morphcloud) and TypeScript SDK, both Apache-2.0. GitHub Actions runs on Morph-managed self-hosted runners.
- The SDK supports Docker containers, SSH execution, file transfer and HTTP service exposure from VMs. EFS provides shared filesystems across hosts.
- SOC 2 Type 2 is claimed only on the Delve-hosted trust portal (trust.delve.co/morph), which returned 429. Treat it as claimed-unverified.
Benchmarks & research
Trinity (autoformalization system)paper · 12 Jun 2025
Morph Labs' autoformalization system, which it described as being "for verified superintelligence". The original Morph post appears to be gone: morph.so/blog/trinity returns 410. Math Inc credits the Trinity environments infrastructure, built with Morph Labs, for its Gauss agent.
Reported to have nearly finished formalizing de Bruijn's result that the abc conjecture is true almost always. Human mathematicians structured the problem. This is a third-party account of a self-reported result.
MiniMuSiQuedataset · 30 Nov 2023
Apache-2.0 multi-hop question-answering eval dataset that Morph Labs refined from MuSiQue. Its hard subset keeps questions GPT-4 could answer but GPT-3.5 could not. Authors include Jesse Michael Han and Brando Miranda. It is the only artifact still public on Morph's Hugging Face org.
Gauss / Trinity environments (with Math Inc)environment
Lean verification environments built in partnership with Morph Labs. Math Inc says Infinibranch on Morph Cloud was critical to scaling them to thousands of concurrent agents, each with its own Lean runtime, using multiple terabytes of cluster RAM. This is a claim by a closely tied company.
Products
Morph Cloud (Infinibranch VM primitives) ↗
Snapshots and instances that can be snapshotted, branched and restored in under 250ms, according to the docs. Managed through the Python and TypeScript SDKs, the CLI and API keys. Free accounts are available at cloud.morph.so.launched Nov 2024
Morph Devboxes ↗
Cloud development workspaces with VSCode/Cursor integration for development, prototyping and team collaboration. The platform also offers GitHub Actions on Morph-managed self-hosted runners and EFS, a shareable filesystem that can be mounted across Linux hosts.
Infinibranch Liquid Metal ↗
Announced as "Infinibranch Liquid Metal on Morph Cloud: burst scalability for the AI agent era". The launch month comes from the sitemap lastmod (2025-10-14), not a stated publication date.launched Oct 2025
morphcloud Python SDK/CLI ↗
Apache-2.0 SDK and CLI for Morph Cloud VMs. Latest version is 0.1.115, released 2026-09-01.
morph-typescript-sdk ↗
Apache-2.0 TypeScript SDK for Morph Cloud VMs. Last updated 2026-03-05.
Scale & velocity
Current headcount
~9-11 employees (as of 2026)estimated cite
Headcount growth
unknown
Open roles
unknown cite
Other locations
unknown
Distributed / remote
yesreported cite
Research depth
Has researchers
yesconfirmed cite
Researcher count
unknown (small team; at least CEO Jesse Han and Chief Scientist Christian Szegedy plus members of technical staff)estimated cite
Backgrounds
Jesse Han, founder/CEO; PhD work in formal mathematics (formalized independence of the continuum hypothesis in Lean); ex-OpenAI / Microsoft Research / AWS per profiles, Christian Szegedy, Chief Scientist; ex-xAI co-founder (Grok-3 code reasoning lead), ex-Google Research (deep learning/Inception, BatchNorm, adversarial examples, autoformalization)reported cite
Capital
Total raised
unknown
Last round
unknown
Investors
Christian Szegedy (reported seed/angel investor; also Chief Scientist), amount undisclosedreported cite
Valuation
unknown
Revenue signals
unknown
Security & compliance
SOC 2
claimed-unverifiedreported cite
Other certifications
unknown cite
Security page
https://trust.delve.co/morphreported cite
Product
What they sell
infraconfirmed cite
Open source
partial (SDKs only)confirmed cite
License
Apache-2.0 (morph-python-sdk, morph-typescript-sdk). Core platform proprietary.confirmed cite
Deployment model
managed-hosted (cloud platform, accessed via Python/TypeScript SDK, CLI, and API keys)confirmed cite
Maturity
GAestimated cite
Notable customers
Math Inc (Math, Inc.), used Morph Cloud / Infinibranch to scale Lean verification environments for its Gauss autoformalization agent; company incubated at Morph (closely tied entity, not arm's-length customer) self-claimed cite
Buyer analysis
Best fit: Teams needing to fork, snapshot, and run thousands of parallel/reversible sandboxed VM environments for agent rollouts, evals, and verification at scale.
How we verified this
2026-10-05 refresh: I re-opened every source in the draft. The SDK release dates, the 404s on the GitHub repos, the two-repo org listing, the OpenGauss README quotes, the math.inc/gauss partnership language, Jesse Han's GitHub affiliation and headshot, and the Cogniscendo account of Szegedy and Trinity all checked out. I made four corrections. The OpenGauss item is now dated 2026-04-05 from its commit, with the note that its morph.new link returns 404. The repo removals are bounded to after the 2026-06-07 baseline. Szegedy's profile link now points to his X account instead of a third-party article. The papers field is lowered to reported because the Trinity primary post returns 410. I also found three things the draft missed: Morph's Hugging Face org has no public models left (Morph Prover v0 7B returns 401), the Trinity blog post is gone, and a Morph-authored eval dataset, MiniMuSiQue, is still public. Taken together, Morph has pulled most of its public research while its SDKs keep shipping. No funding, acquisition, shutdown or frontier-lab tie could be sourced in the window. Web search was exhausted for this session, so press-only news may have been missed. That limit, plus no blog activity to check, keeps confidence at medium.
Related vendors
Sources
- www.morph.so/sitemap.xml · 2026-10-05, Homepage, blog and careers lastmod 2026-08-30. Only two blog posts: infinibranch (2024-11-19) and liquid-metal (2025-10-14).
- cloud.morph.so/docs/developers · 2026-10-05, Docs cover Devboxes, VM primitives, under-250ms snapshot/branch/restore, SDKs, CLI, GitHub Actions and EFS. Footer reads "Copyright © 2026 Morph Labs".
- github.com/orgs/morph-labs/repositories · 2026-10-05, Only morph-python-sdk (updated 2026-09-01) and morph-typescript-sdk (updated 2026-03-05) are public, both Apache-2.0.
- api.github.com/orgs/morph-labs · 2026-10-05, public_repos 2. Created 2023-06-14, updated 2026-10-01.
- github.com/morph-labs/SWELancer-Benchmark · 2026-10-05, Returns 404.
- github.com/morph-labs/open-r1 · 2026-10-05, Returns 404.
- huggingface.co/api/organizations/morph-labs/overview · 2026-10-05, 0 models, 1 dataset, 1 member.
- huggingface.co/morph-labs/morph-prover-v0-7b · 2026-10-05, Returns 401 (not publicly available).
- huggingface.co/datasets/morph-labs/MiniMuSiQue · 2026-10-05, Morph Labs multi-hop QA eval dataset, Apache-2.0, created 2023-11-30.
- www.morph.so/blog/trinity · 2026-10-05, Returns HTTP 410 Gone.
- pypi.org/pypi/morphcloud/json · 2026-10-05, morphcloud 0.1.115 (2026-09-01). Earlier releases on 2026-08-30, 2026-07-29, 2026-07-19 and 2026-04-06.
- github.com/math-inc/OpenGauss · 2026-10-05, The README recommends morph.new/opengauss-0-2-2 ("under 10 seconds") over local installs ("up to 10 minutes"). MIT licensed.
- api.github.com/repos/math-inc/OpenGauss/commits?path=README.md&per_page= · 2026-10-05, "Update Morph badge link" on 2026-03-22. "Bump version to 0.2.2 and pin Morph README link" on 2026-04-05.
- api.github.com/repos/math-inc/OpenGauss · 2026-10-05, Created 2026-03-19, last pushed 2026-04-05, MIT.
- morph.new/opengauss-0-2-2 · 2026-10-05, A direct request returned HTTP 404 (morph.new/ also returned 404).
- www.math.inc/gauss · 2026-10-05, Says the Trinity environments infrastructure was developed in partnership with Morph Labs and that Infinibranch on Morph Cloud was critical to scaling to thousands of concurrent agents and multiple terabytes of cluster RAM.
- github.com/jesse-michael-han · 2026-10-05, Jesse Michael Han's GitHub: company Math Inc, San Francisco. Pinned repos include flypitch (continuum hypothesis independence in Lean). The avatar is a real headshot.
- jesse-michael-han.github.io/ · 2026-10-05, Says his web presence has moved to jesse.so.
- arxiv.org/abs/2202.01344 · 2026-10-05, Formal Mathematics Statement Curriculum Learning (OpenAI, 2022). Authors are Polu, Han, Zheng, Baksys, Babuschkin and Sutskever.
- www.cogniscendo.com/p/the-superhuman-mathematician-5d1b · 2026-10-05, Profile dated 2025-06-18. Says Szegedy joined Morph Labs, was a seed investor and left xAI, and that Trinity was announced 2025-06-12 (de Bruijn's abc result, human-structured).
- www.theinformation.com/briefings/xai-cofounder-joins-ai-code-startup-mor · 2026-10-05, Headline confirms an xAI co-founder joined Morph as Chief Scientist. Paywalled.
- x.com/ChrSzegedy · 2026-10-05, Christian Szegedy's X profile (page title confirmed).
- www.morph.so/blog/liquid-metal · 2026-10-05, Liquid Metal announcement. Only the title could be extracted.
- www.morph.so/ · 2026-06-07, Official site (JS-rendered; minimal extractable text)
- www.morph.so/blog/infinibranch/ · 2026-06-07, Infinibranch blog (title only extractable)
- www.startuphub.ai/ai-news/ai-video/2025/morph-labs-unveils-liquid-metal- · 2026-06-07, Third-party coverage of Liquid Metal launch and Szegedy hire
- github.com/morph-labs · 2026-06-07, GitHub org, morphcloud SDKs (Apache-2.0), examples (Apache-2.0), SWELancer-Benchmark, open-r1, Lean repos
- x.com/morph_labs/status/1966223824078479667 · 2026-06-07, Morph announces Math, Inc. incubated at Morph; Infinibranch-native compute powers Gauss
- trust.delve.co/morph · 2026-06-07, Trust portal, SOC 2 Type 2 (2025), vendor risk program (rate-limited on direct fetch; via search snippet)
- tracxn.com/d/companies/morph-labs/__8ZZWlPNWnRct4CJf-JJjU940HzzVxh1CEZxB · 2026-06-07, Founded 2023, SF, Jesse Han; lists company as unfunded / funding redacted
- pitchbook.com/profiles/company/44794-09 · 2026-06-07, Morphlabs profile, ~11 employees
- rocketreach.co/morph-labs-management_b7384e18c7e2a4d3 · 2026-06-07, ~9 employees; mgmt: Jesse Han (CEO), Christian Szegedy (Chief Scientist), Chiraag Balu (MTS)
- www.cbinsights.com/company/morph-labs · 2026-06-07, HQ San Francisco; founded 2023
- www.morph.so/careers · 2026-06-07, Hiring researcher-engineers (systems research + AI post-training + agent interface); JS-rendered, count not extractable
- www.morphllm.com/ · 2026-06-07, DIFFERENT company, AutoInfra, Inc. (YC), Fast Apply coding-inference models, founder Tejas Bhakta. NOT this Morph; name collision.
Last updated 2026-10-05 · Every quantitative field carries a source and a confidence tag. Fields we could not source publicly are marked unknown, never estimated. See the methodology.