Browser Use v0.5 vs Vera

“The primitive here is clean: screenshot-in, action-out, with Playwright doing the actual browser driving underneath. The DX bet is that vision beats XPath brittle selectors — and for SPAs that rewrite the DOM on every state change, that bet is correct. First 10 minutes with the repo: pip install, set your OPENAI_API_KEY, run the example, watch it actually click through a React app without a single CSS selector. The weekend alternative — rolling your own Playwright + GPT-4o screenshot loop — is genuinely possible, but v0.5 ships structured action parsing, retry logic, and multi-tab handling that would eat your weekend and the next one. The specific decision that earns the ship: they made vision an opt-in mode, not a full replacement, so you can fall back to DOM parsing when latency or cost matters. That's a respectful default.”

“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 competitors are Stagehand (Browserbase), Skyvern, and the agent mode baked into Playwright MCP — all of which are also solving the same 'JS-heavy SPA breaks DOM scraping' problem right now. Vision mode is the right architectural call, but the real question is cost: every page interaction fires a vision API call, and at GPT-4o pricing that adds up fast on any workflow doing more than a dozen steps. The scenario where this breaks is production pipelines — a long-running agent hitting a dynamic site 500 times a day will burn non-trivial token budget with zero visibility unless you instrument it yourself. What kills this in 12 months: Anthropic or OpenAI ships native computer-use APIs that are cheaper per action and better calibrated for GUI navigation, which makes the framework layer a commodity. What keeps it alive: the open-source distribution and composability mean teams can swap the underlying model as costs shift. Ships because the core problem is real and the implementation is honest about the tradeoffs.”

“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: by 2027, the majority of web automation will be vision-based because the web's semantic structure has become too inconsistent to parse programmatically at scale — between shadow DOM, client-side rendering, and accessibility theater, DOM-based selectors are a losing bet. What has to go right: multimodal models keep getting cheaper and faster at GUI understanding specifically, not just general vision. The dependency that could kill it: if browsers ship a standardized AI-accessibility tree (there are W3C proposals in this space), vision becomes redundant and DOM parsing gets its renaissance. The second-order effect that nobody is talking about: if vision-based agents work reliably, the incentive for websites to maintain semantic HTML collapses entirely — why invest in accessibility markup if agents bypass it anyway? That's a feedback loop that degrades the open web. Browser Use is early on the vision-for-automation trend, not late — Skyvern and Stagehand are peers, not incumbents. The future state where this is infrastructure: every SaaS integration layer uses vision agents instead of brittle API connectors for the long tail of tools that will never publish an API.”

“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 specific and well-scoped: automate actions on websites that break traditional scraping. No 'and' required — that's a good sign. Onboarding for a developer audience hits value in under 5 minutes: clone, install, swap in your API key, run the quickstart against a real site. The completeness gap is real though: this is a library, not a product, so you're still building the orchestration, error handling, cost monitoring, and retry logic yourself — it replaces one hard piece but leaves the scaffolding work to you. The opinion the product has is correct: vision over DOM for reliability. What's missing for a full ship recommendation at higher confidence is any built-in observability — when your agent fails silently on step 7 of 12, you want structured logs and a replay mechanism, not a raw screenshot dump. Ships because the core job is done well and the target user (developers building agents) is comfortable owning the scaffolding; skips for anyone expecting a no-code workflow tool.”

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