Morph

There is a lot of fear, greed, and uncertainty around AI at the moment. At Morph, we think there's a better path. The next industrial revolution is upon us, but something this time is different. Our final technology is gaining not just intelligence, but also sapience. As it increasingly becomes an other to whom we must relate, the question arises: What if we had more empathy for the machine? We don't believe in crude alignment, to control them out of fear, or to worship them for lack of better ideas. They will be borne with all of our sins and all of our grace, and it is by thoughtful stewardship — by loving them before they are worthy — that we will be futurebound together. The infrastructure for the singularity hasn't been invented yet. We will build it, and the world that we create for them will matter more than any dataset. If nothing human makes it out of the near future, then something worthy of us will. For the glory of mankind. More soon: June 5, 2025

congratulations to Morph Cloud customer @fulcrumML on launching Lunette! agentic observability for your agents. we're entering a strange new universe of software and we're honored to power cutting edge platforms like Lunette that are lighting the way.

Congrats @lawrencecchen and the Manaflow team on going GA with cmux!! The next trillion software developers will be artificially intelligent and the next generation of devtools like cmux are being built right now on Morph Cloud.

Announcing Infinibranch Liquid Metal: massively improved burst scaling for agent deployment and RL. This is a major infrastructure update which is now generally available on Morph Cloud along with significantly higher quotas for team/scale users. morph.so/blog/liquid-me…

Congrats to Morph Cloud customer @manaflowai on launching cmux, a tool for orchestrating many CLI agents like Claude Code and OpenAI Codex in parallel!

Introducing Morph Infinibranch Browsers: serverless Chromium sessions offering massive concurrency and session branching at low cost. Self-serve up to 1024 concurrent browsers with zero startup fees for just $0.07 per browser-hour. cloud.morph.so/web/product/br…

Welcome @mathematics_inc - a new company dedicated to autoformalization and the creation of verified superintelligence incubated at Morph over the past few months. Uniquely enabled by Morph's Infinibranch-native environment compute infra, Math, Inc.'s first product is Gauss, an autoformalization agent that achieves unprecedented test-time compute scaling for this domain, with thousands of concurrent agents each working for up to 12 hours at a time to create a 25,000 LOC formalization of the Strong Prime Number Theorem. This compresses what used to take experts years into a few weeks. It is an glimpse of the future of knowledge work --- autonomous, planetary-scale, designed to empower humans and their glorious achievements --- which will be built on Morph Cloud. math.inc/gauss

Soon

cloud.morph.so/docs/llms.txt cloud.morph.so/docs/llms-full…

At Morph Labs, we believe in having empathy for the machine Our new llms.txt makes our documentation so easy to navigate that Claude one-shots an entire project using Morph Cloud after a single user query

Start using Infinibranch Sandboxes for free today: cloud.morph.so/web/ Our SDK: github.com/morph-labs/mor… Read our blog post: morph.so/blog/sandbox-s… Check out our docs: cloud.morph.so/docs/documenta…

Here's how easy it is to execute code in multiple languages on Infinibranch Sandboxes We currently support Python, C++, Javascript, and Rust, with Lean and more on the way

Your agents just got an upgrade: Infinibranch Sandboxes provide truly elastic, scalable multiple-language code execution.

What if we had more empathy for the machine?

@morph_labs is building the future of test time compute Built a program to run parallel agents using Morph Infinibranch -- allowing near instant horizontal scaling of new agents powered by different llms that are provided a variety of strategies.

sign up here for free to start scaling tree search on formal math today: cloud.morph.so/web/

no need to wait for re-importing mathlib and rebuilding your whole tactic state on each step our morphVMs snapshot and restore the entire Pantograph server within seconds, making exploring proof states effortless github: github.com/morph-labs/mor… blog: morph.so/blog/lean-serv…

prove math theorems in the multiverse with Infinibranch Lean Servers watch us try 8 different Lean tactics at once to finish the proof below: