Arcade AI Tool SDK vs Vera

“The primitive here is clear: a schema-generation and adapter layer that takes your existing REST API or function signature and outputs a spec-compliant tool definition for whichever LLM runtime you're targeting. The DX bet is right — putting complexity in the SDK rather than in the user's callsite means you write the business logic once and the SDK handles the format negotiation. The moment of truth is schema generation accuracy on a non-trivial API with nested types and optional params; if that holds up in practice, this earns its keep. The weekend alternative (three API calls and a Zod schema) collapses fast once you add auth token management and multi-provider support — that's the specific technical decision that earns the ship.”

“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 LangChain's tools module, Composio, and Toolhouse — all of which are either heavier frameworks or hosted-only products, so the open-source, format-agnostic angle is a real differentiator. The scenario where this breaks is when the target API has a non-standard auth flow or pagination model — auto-schema generation hallucinates edge cases exactly when precision matters most. What kills this in 12 months: OpenAI, Anthropic, and Google collectively improve their native function-calling ergonomics to the point where the adapter layer is unnecessary boilerplate. The counter-thesis that saves it is if the multi-provider normalization layer becomes genuinely sticky for teams running model A/B tests — that's a real problem nobody has solved cleanly yet.”

“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: LLM tool-calling becomes a first-class integration target within 2 years, the way webhooks became a first-class integration target around 2015 — and the team that owns the normalization layer owns the distribution. What has to go right is that model providers don't converge on a single canonical tool spec, keeping the adapter layer valuable; if OpenAI's function format becomes the de facto standard that everyone just adopts, this SDK's multi-provider value proposition collapses. The second-order effect worth watching is that this shifts API design incentives — if your API is SDK-compatible you get LLM discoverability for free, which starts to pressure API authors to design for machine consumption first. The trend this is riding is the growth of tool-calling as an integration primitive, and this SDK is early enough that the category isn't yet commoditized.”

“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 buyer problem here is unresolved: the SDK is open-source with no visible hosted pricing, which means Arcade is giving away the only part of the product that has demonstrated value so far. The moat story depends entirely on whether the hosted tier builds workflow lock-in or proprietary tooling directories that justify a premium — neither of which exists publicly yet. When the underlying model providers ship native tool management (and they will), the open-source SDK becomes a free-tier acquisition funnel for a business that hasn't decided what to charge for. I'd revisit this when there's a pricing page with expansion revenue logic, not before.”

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