Linear AI Issue Triage Agent vs Vera

“The primitive here is straightforward: an event-driven classifier that reads Slack thread context or GitHub webhook payloads, runs them through a model, and writes structured output back into Linear as labels, assignees, and priority fields. The DX bet is zero-config bootstrapping — the agent infers team conventions from existing issue history rather than requiring you to hand-craft routing rules. That's the right call because the alternative is a YAML file someone writes once and never updates. The moment of truth is whether the label inference survives contact with a repo that has 40 overlapping labels from three different PMs, and I'd want to see that demo before fully committing. Still, this isn't a wrapper around three API calls — it's a feature embedded in the tool where the context lives, which is exactly the right architecture.”

“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 is every Zapier/Make flow that routes GitHub issues to Linear with a regex label matcher — and this genuinely beats that because it operates on natural language context rather than keyword rules. The specific scenario where this breaks is a monorepo team with five squads, divergent label taxonomies, and no shared convention: the model will learn the noise as readily as the signal, and you'll get confident mislabeling instead of obvious failures. The kill scenario in 12 months isn't a competitor — it's GitHub Issues native AI triage shipping as a Copilot feature, which would eliminate the need for Linear as the receiving system for teams not already bought in. What would have to be true for me to be wrong: Linear's installed base is sticky enough that even if GitHub ships this, teams don't migrate.”

“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 precise: eliminate the human gatekeeping step between 'someone reports a thing' and 'the right person knows about the thing.' That's a real job, it's universally hated, and Linear is the right place to solve it because the routing context — labels, teams, past assignments — already lives there. Onboarding to this feature should be near-zero since it reads existing issue history, but the critical gap is escalation confidence thresholds: if the agent can escalate critical bugs without human intervention, what's the override mechanism and how loud is it? A product that auto-escalates with no obvious snooze or audit trail is a feature that gets turned off after the first false positive at 2am. Ship if that escalation surface is designed thoughtfully; the core triage loop earns it.”

“”

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