Bend creator launches Bender, a proof-focused agent

Taelin @VictorTaelinOriginally posted 2026.09.18

Open original on X

Also, in a last hour decision, we're launching Bender, an AI agent specialized in Bend proofs. For now, it is just a thin wrapper over public models. I don't recommend buying it yet. On the upcoming months (or less), we'll integrate it with SupGen, our symbolic program synthesizer, with the goal of making it orders of magnitude faster than LLMs. But that's NOT shipped yet. If you do want to buy it now, we're offering a 50% founder discount. These credits will be usable for everything we offer in our ecosystem in the future.