curl -fsSL https://bend-lang.com/install.sh | shWhen using Bend:
- run `bend guide` to learn it
- use `LAWS.bend` to keep important rules
- run `bend PROOF.bend` before committing
- parallelize the code whenever possibleThe proving agent for Bend.
LAWS.bend turns the correctness of an app into a theorem: as soon as every law in PROOF.bend checks, the bugs which those laws forbid cannot be merged. But each time the code changes and a law breaks, the proof must be redone, and a general AI agent redoing it from scratch burns many hours, many tokens.
Bender is our own proprietary agent for precisely this task: it pairs public AI models with our own technology (dedicated models, an optimized proving harness, and SupGen, a symbolic theorem prover) to prove and fix PROOF.bend much faster, and far cheaper, than a general agent can. And it only improves.
Today Bender is a thin harness around models from Anthropic, OpenAI and others. The specialized models and SupGen ship in future updates. What you buy today is this service as it is, plus every improvement as it lands. The API opens within the coming days, and the credits you buy now will be ready then.
Credits bought today come at the founder price: 50% off. One credit buys one dollar of Bender at the published rates, and never expires. We may later let credits also buy other parts of the Bend ecosystem: cloud compute, a name system, feature votes, cosmetics, and so much more. Buy now, spend whenever.