Agency by Mozilla vs Vera

“The primitive here is clean: a browser-native agent runtime that binds to Firefox's internals and exposes MCP-compatible tool interfaces, all local. No cloud hop, no screenshotting your desktop and sending it to Anthropic. The DX bet Mozilla made is right — run in-process in the browser where DOM access is first-class, not bolted on from outside. The moment of truth is whether the MCP tool registration is actually ergonomic or if it buries you in schema boilerplate, and the repo suggests the latter needs polish. Still, this is a real primitive, not a wrapper — Mozilla is giving developers a composable base that a Playwright-over-CDP weekend project genuinely cannot replicate, because the privacy guarantees come from architecture, not policy.”

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

“Category is browser automation agents; direct competitors are Anthropic Computer Use, OpenAI Operator, and Playwright-based agent wrappers. The scenario where this breaks is any user who needs a capable frontier model baked in — Agency gives you the runtime plumbing but you still have to bring your own model, and local models are still embarrassingly bad at browser task reasoning compared to GPT-4o. What kills the cloud alternatives here is regulatory pressure on enterprise data handling, which is real and accelerating — that's the thesis that survives. Mozilla ships this, it gets traction in privacy-sensitive enterprise and research contexts, and the cloud agents find their growth capped in regulated industries. I'd call this a genuine ship for the niche it's targeting, not a universal recommendation.”

“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 falsifiable thesis here is: within 3 years, regulatory and user-trust pressure will make cloud-routed browser agents legally or commercially unacceptable in enough markets that local-first agent runtimes become the default for sensitive workflows — healthcare, legal, finance, government. Agency is early to that specific bet, and being a Mozilla project means it rides the browser-vendor trust signal that no startup can buy. The second-order effect nobody's talking about: if Agency becomes the standard runtime for Firefox-native agents, Mozilla gets to define what MCP tool permissions look like in a browser context, shifting standards power back toward an open-standards body and away from the model providers. The dependency that has to hold is that local model capability closes the gap with cloud fast enough — Gemma 3 and Qwen3 suggest it's on track.”

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

“There is no buyer here, which is the whole problem — Mozilla is a nonprofit shipping open-source infrastructure, not a business, and that's fine for what it is, but framing this as a product review misses the point and also confirms the skip. Any startup trying to build on top of Agency inherits Firefox dependency, local model constraints, and a framework maintained by a nonprofit with a historically mixed record of developer-facing project continuity (see: Firefox OS, Servo, Pocket). The moat question answers itself: Mozilla can't own a market position because they're not trying to, and any company that builds a product layer on this is one browser vendor decision away from a breaking change. If you're a developer building privacy-first browser tooling, this is interesting infrastructure. If you're trying to build a business on it, that's the skip.”

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