{"data":{"slug":"bend","name":"Bend","tagline":"Parallel language + proof-gated agent coding","category":"agents","categoryName":"AI Agents","url":"https://bend-lang.com","github":"https://github.com/bendlang/bend","pricing":"open-source","hook":"Bend is a parallel programming language that puts proof-shaped constraints in the coding loop instead of treating agent output as trusted by default.","whatsGood":"Apache-2.0 (bendlang/bend). Bend brings a language and proof-oriented workflow to agent coding, aiming to make parallel programs and their correctness claims explicit rather than relying on prose prompts alone. The canonical project is bendlang/bend; HigherOrderCO/Bend redirects there.","theCatch":"Vs Spec Kit and OpenSpec: those are process layers for agreeing on specs and changes, while Bend is a language/proof surface — process is not proof. Adopting a new language means a smaller ecosystem and a real learning/toolchain cost before the proof gates pay back.","verdict":"Apache-2.0 parallel language for proof-gated agent coding. Bend is a language surface, not another spec workflow.","addedAt":"2026-09-18","featured":false,"domain":"AI Agents","subSpecialty":"Coding Agents","subcategory":"Coding Agents","tags":["self-host","permissive","coding-agents","active"],"capabilities":["parallel","proof","language"],"surfaces":["Self-host"],"ecosystem":["Multi-platform"],"licenseModel":"Apache-2.0","githubStars":23787,"starsPerWeek":145,"access":"free","archived":false,"repo":{"createdAt":"2023-08-29","pushedAt":"2026-10-16","license":"Apache-2.0","archived":false,"checkedAt":"2026-10-19"}},"related":[{"slug":"claude-code","name":"Claude Code","tagline":"Terminal-first coding agent with deep repository context"},{"slug":"cursor","name":"Cursor","tagline":"The AI-first code editor that understands your codebase"},{"slug":"devin","name":"Devin","tagline":"Autonomous AI engineer for defined engineering tasks"},{"slug":"stagehand","name":"Stagehand","tagline":"AI-native browser automation that mixes code and natural language"},{"slug":"browser-use","name":"Browser Use","tagline":"Open-source framework for LLM-driven browser agents"}],"links":{"self":"/api/gems/bend","html":"/gems/bend","markdown":"/gems/bend.md","category":"/api/gems?category=agents","categoryPage":"/stacks/agents"}}