Linear AI Triage Agent vs Vera

“The primitive here is a classification-and-routing layer bolted onto Linear's existing graph of teams, labels, and members — and crucially, it's not a separate product you have to configure in isolation. The DX bet is correct: Linear already owns your issue taxonomy, so the model has real context to route against instead of hallucinating into a vacuum. The moment of truth is when the first misrouted issue lands and you have to correct it — Linear's feedback loop on that correction is what separates this from a dumb keyword router, and I haven't seen evidence of how that loop actually works. Not a weekend Lambda project because the value is entirely in having Linear's data graph; without it, you're writing a fragile regex. Ships because the integration surface is real, not bolted on.”

“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.”

“The direct competitor here is every team's Zapier automation plus a junior dev who manually triages on Monday morning — and this actually beats that. The scenario where it breaks is a mid-size team with ambiguous ownership across squads: the model will confidently misassign to the wrong team lead and nobody will notice for a sprint. What kills this in 12 months is not a competitor — it's that Jira and GitHub Issues ship equivalent AI triage natively, and Linear's moat shrinks to 'we did it first and it's prettier.' For teams already on Linear Business, the switching cost to opt out is zero and the upside is real. Ship, but only if you trust Linear's judgment on what 'correct' assignment means more than your own written runbook.”

“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 job-to-be-done is tight: route incoming noise to the right person without a human in the loop. Linear nails the scoping by embedding this inside existing workflows rather than adding a new configuration surface. The completeness question is whether teams can actually turn off their existing triage rotation on day one — and the honest answer is probably not, because beta status means you'll dual-wield the agent and a human for at least a month. The product is opinionated in the right direction: it assigns to people, not just labels, which is the decision most tools punt on. Ship once the feedback mechanism for bad assignments is visible; skip if you're managing a team where accountability for missed issues has legal or compliance weight.”

“The thesis is falsifiable: by 2028, the bottleneck in software teams is not writing code but managing the surface area of coordination — and the teams that automate that coordination layer compound faster. Linear is betting that issue triage is the first coordination primitive worth automating because it's high-frequency, low-stakes-per-instance, and sitting on structured data Linear already owns. The dependency that has to hold is that Linear's data model stays richer than GitHub's native issue graph; if GitHub Copilot absorbs project management context at the repo level, Linear's routing advantage evaporates. The second-order effect that matters: if this works, Linear becomes the system of record for team topology — who owns what, who's overloaded, where work stalls — and that's a dataset with compounding value well beyond triage. That's the future state where this is infrastructure.”

“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.”

“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.”