Force an AI to mathematically prove its code has no bugs
Made by BendLang
View profile on GitHub (opens in a new tab)Bend is a new programming language built around the idea that AI-written code should come with a checkable proof, not just a plausible-looking diff.
You write rules in a file called LAWS.bend describing behavior your program must never violate, and the compiler refuses to accept any change — AI-written or not — unless it can mathematically verify those laws still hold. The language also compiles to run automatically in parallel across every CPU core it finds, and across GPU cores as well, with no threads or locks to write by hand.
You could use it to…
- Force an AI agent to prove a rule can't be broken
- Let code split itself across every CPU or GPU core
- Mathematically check a program change in under a second
Can I use this?
You'll need A terminal and the Bend compiler · Setup needed
Worth knowing This is a new, unconventional language with its own syntax and proof system, not a drop-in addition to an existing codebase, so adopting it means rewriting the relevant code in Bend. Formal verification proves your stated laws hold, not that the program is free of every other kind of bug. Apache-2.0 licence. BuildTube has not run or verified this software.
Why it's here
Not trending this week
Last seen on the GitHub trending list on 28 September 2026. It stays on BuildTube so you can still find it.
- 23,419 people have starred it on GitHub.
Numbers checked on 6 October 2026; not refreshed since.
Behind it
See the code on GitHubBuildTube has not run or verified this project. Everything above is written from what the creator published.
Made this?