Beads (bd) vs Vera

“The primitive here is clean: a dependency-aware DAG of tasks, stored as versioned JSONL inside your repo, with hash-based IDs that make merge collisions structurally impossible rather than a discipline problem. The DX bet — put the complexity in the data model, not the CLI — is exactly the right call, and `bd claim` for atomic task assignment is the kind of thing you only design if you've actually run two agents into each other and watched them both pull the same file. The weekend alternative here is a markdown TODO in a git repo, and it collapses the moment you have two agents or a branch switch; Beads earns its existence specifically because the naive solution fails in a documented and predictable way.”

“The contracts-first approach is genuinely compelling — I've spent too many hours debugging AI-generated code that violated implicit invariants. Having the compiler enforce preconditions at every call site is the kind of guardrail I'd actually trust. The WASM compilation target means you can run this anywhere, and 3,638 tests suggests this isn't vaporware.”

“Direct competitor is Linear or GitHub Issues used as agent context via MCP — and the reason Beads wins that comparison is that those tools were designed for humans and bolt agent support on top, while Beads is designed for the case where the agent *is* the primary user and humans are secondary readers. The scenario where Beads breaks is a solo developer running a single-agent workflow on a small project, where the overhead of a Dolt-backed graph is pure ceremony for a problem that a flat task list already solves. What kills it in 12 months: Anthropic or the Claude Code team ships a native persistent task graph in the agent runtime itself, making Beads infrastructure that got absorbed — but that's a win condition for users, not a failure condition for the idea.”

“A language with no variable names sounds like an academic exercise, not something that'll ship real software. Even if LLMs do great on VeraBench, the ecosystem is zero — no libraries, no community, no integrations. You'd be asking your team to maintain code written in a language nobody else on Earth can read. That's a hard sell even if the AI loves it.”

“The thesis here is falsifiable: within 3 years, multi-agent software development becomes the default mode, and the binding constraint on parallelism shifts from compute to coordination — specifically, agents colliding on tasks, losing context at session boundaries, and producing incoherent work when they can't see each other's progress. Beads bets on this and solves exactly the coordination layer, not the intelligence layer, which is the right abstraction boundary to defend. The second-order effect that matters: if Beads or something like it becomes standard infrastructure, it shifts the locus of software project state from human-readable GitHub Issues into a machine-first graph format, which subtly transfers project legibility from PMs and engineers to the agents themselves — and that's a much larger change than the tool's README suggests.”

“Vera represents a fundamental rethink: what if programming languages were designed for their actual authors in 2026 — which are predominantly AI systems? The formal verification backbone means AI-generated code carries a proof of correctness, not just a vibe. This is early, but the trajectory points to a world where AI writes formally verified software by default.”

“The job-to-be-done is unambiguous: give AI coding agents persistent, collision-safe, dependency-aware task memory that survives the boundaries a scratchpad cannot. That's one job, stated without an 'and,' and Beads does not wander from it. The completeness test is where it earns real points — embedded mode means a solo developer can `brew install bd` and have a working agent memory layer without running a server, while server mode handles the multi-agent case without requiring a different mental model; you don't have to keep the old solution around for any part of the workflow. The one gap: onboarding assumes you already know what a Dolt-backed JSONL task graph is and why you want one, which means developers who haven't already felt the pain of agent context loss will bounce before they reach the moment of value.”

“I love the philosophical angle — a language where the 'author' is the machine. But until there's a visual toolchain, a debugger humans can read, and something I can demo to a client, this lives in research territory. The JSON error messages designed for AI systems are clever but leave human reviewers completely out of the loop.”