SmolAgents 2.0 vs Vera

“The primitive here is a code-first agent loop with first-class MCP support — and that's actually a clean sentence, which is a good sign. The DX bet is that writing agents in Python code (not JSON config or YAML chains) is the right abstraction level, and I think they're right: CodeAgent over ToolCallingAgent is the correct default when you're composing logic, not just routing. MCP native support is the real upgrade — no more writing glue adapters for every external tool. The moment of truth is `pip install smolagents` and a working agent in under 20 lines, and from what's in the repo that test is passed. The weekend-alternative comparison is real — LangChain or a raw OpenAI function-calling loop could replicate 60% of this, but the MCP integration and the visual planning DAG are the parts you'd actually spend two days building yourself and ship worse.”

“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 lightweight agent framework; direct competitors are LangGraph, CrewAI, and Microsoft AutoGen — all of which also ship MCP support within a month of each other because MCP is just becoming table stakes. The specific scenario where SmolAgents 2.0 breaks is any multi-agent workflow requiring reliable state persistence across failures — the framework is genuinely 'smol' and that's a real trade-off when you need durability. What kills this in 12 months is not a competitor but the underlying model providers — OpenAI, Anthropic, and Google are all shipping native tool-use and planning APIs that will commoditize exactly the orchestration layer SmolAgents sits in. It survives only if HuggingFace's open-model ecosystem becomes the de facto choice for self-hosted agent stacks, which is plausible but not guaranteed. For the open-source, self-hosted crowd specifically, this is the most coherent option on the market right now.”

“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 is falsifiable: within 2-3 years, MCP becomes the TCP/IP of AI tool interop, and the agent framework that ships MCP-native first becomes the default plumbing for open-source agent stacks — the same way Express.js became Node's default HTTP primitive not because it was the best but because it was coherent and early. The dependencies are (1) MCP adoption continues past Anthropic's own products into a broader ecosystem and (2) self-hosted / open-weight models close the capability gap with frontier models enough to be viable in production agents. Both trends are moving in the right direction. The second-order effect nobody's talking about: if SmolAgents + MCP + open models works, it transfers orchestration power from closed API providers back to the infra teams at mid-size companies who can run their own stacks — that's a meaningful shift in where AI deployment decisions get made. The trend line is MCP ecosystem formation, and SmolAgents is early, not on-time.”

“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: build a production-grade AI agent that calls external tools without writing adapter glue — and for once, that's a single sentence with no 'and/or' problem. Onboarding is credible: the docs show a working code example on the first scroll, and MCP server connection is genuinely a few lines rather than a configuration ceremony. Completeness question is where I pause — visual planning is shipped but the debugging and observability story for when your agent does something unexpected mid-run is thin, which means you can't fully swap out a LangSmith-backed LangGraph setup for production monitoring today. The product has a real opinion (code-native agents are better than chain-based agents) and commits to it, which earns respect. Ship for greenfield projects; dual-wield with an observability tool for anything where you need to explain failures.”

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