Sourcegraph Cody 3.0 vs Vera

“The primitive here is clear: a code-graph-grounded LLM that understands your codebase at the symbol level, not just the file level — and Cody 3.0 puts that to work in two specific places: PR review comments and Q&A. The DX bet is right. Rather than asking devs to context-stuff a chat window, Sourcegraph lets the graph do the retrieval, which means you get answers like 'this function is called from 14 places and three of them pass null' instead of hallucinated summaries. The skip risk is that autonomous PR comments require tuning to not be noise — if the signal-to-noise ratio on inline comments is bad in week two, devs will disable it. But the underlying graph primitive is genuinely not replicable with a Lambda and three API calls — it's years of indexing infrastructure that earns its keep here.”

“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 GitHub Copilot's PR review feature, which ships with zero additional infrastructure for teams already on GitHub. Cody's actual advantage is the code graph — Sourcegraph has spent years building precise cross-repo symbol resolution that GitHub's Copilot still doesn't match on large monorepos or multi-repo codebases. The scenario where this breaks: teams with fewer than 20 engineers on a single mid-size repo who are already paying for Copilot Business have no rational reason to add Cody's overhead. What kills this in 12 months isn't a competitor — it's GitHub shipping better cross-file context in Copilot Enterprise and erasing the graph advantage. Cody ships on the strength of the graph moat; the question is how long that moat holds.”

“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 buyer here is engineering leadership at mid-to-large enterprises already running Sourcegraph — that's a narrow installed base selling into a budget line that already has GitHub Copilot, Cursor, or both. The moat is real: the code graph is defensible infrastructure that took years to build. But the pricing architecture is a problem — Free and $9/mo Pro don't cover the actual infrastructure cost of running autonomous PR review at scale, which means the business only works if enterprise deals convert, and the enterprise sales cycle for Sourcegraph is long and contested. When GitHub bundles better AI review into Copilot Enterprise at no incremental cost, the standalone Cody value prop collapses for everyone except the multi-repo power users. The expand story within existing Sourcegraph accounts is credible; the net-new acquisition story against GitHub's distribution is not.”

“The job-to-be-done is specific: 'give me a reviewer who actually understands the full codebase before commenting on my PR,' which is a real and painful gap — most AI review tools comment on diffs without knowing what changed downstream. Cody 3.0's graph-backed context directly attacks that gap. Onboarding for existing Sourcegraph users is presumably fast since the index already exists; for new users it's a longer setup tax that could kill early momentum. The completeness question is whether the PR review agent integrates into the GitHub/GitLab review UI natively enough that engineers don't need to context-switch — inline comments are the right surface, but the product lives or dies on whether those comments are precise enough that teams keep them enabled after the honeymoon period. The opinionated bet on graph-backed context over naive RAG is exactly the right product call.”

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