Figma Make vs Vera

“The primitive here is a bidirectional design-to-code sync layer: Figma as the source of truth, GitHub as the output artifact, AI as the translator. That's a real problem — design handoff is where intent goes to die. The DX bet is that developers accept AI-generated React as a starting point rather than a canonical output, which is honest and probably right. My concern is the moment of truth: what does the generated component actually look like when your design uses a custom constraint system or a non-standard grid? If the output requires heavy manual cleanup, this is just a fancier inspect panel. The GitHub sync is the feature that earns the ship — if diffs are clean and components track renames correctly, that's a workflow nobody has nailed yet.”

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

“The direct competitors are v0, Locofy, and Anima — all of which have been promising production-ready code from Figma for years and delivering 'close enough, fix the rest yourself.' Figma's advantage is distribution: they already own the design file, so they don't need a plugin handshake or an export step. The scenario where this breaks is any codebase with an existing component library — if Make generates new Tailwind components instead of mapping to your existing Button and Input primitives, it creates drift, not savings. What kills this in 12 months isn't a competitor, it's that Figma's GitHub sync produces code that developers don't trust enough to merge without rewriting, and the workflow dies at the PR review stage. To be wrong about that, the AI would need to produce genuinely idiomatic code that maps to user-defined design systems, which is a hard problem Figma hasn't publicly solved.”

“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 interaction model that matters here isn't the UI of Make itself — it's whether the sync loop between design changes and code output is legible to the designer making the change. If a designer renames a component or adjusts spacing and the GitHub diff is clean and traceable, that's a workflow artifact worth respecting. The failure mode is the classic one: the AI interprets absolute positioning as inline styles, padding becomes magic numbers, and the code output stops reflecting design intent within two iterations. Figma has the unique position of owning the design token layer, which means they could produce semantically meaningful diffs rather than pixel-value noise — if they've done that work, this earns a strong ship. That specific decision — whether output references design tokens or raw values — is the one I'd audit first.”

“The buyer here is the design-engineering team lead at a mid-market SaaS company, and the budget comes from the engineering productivity line — not the design tool budget. Figma is smart to bundle this into existing Professional and Organization plans rather than charging separately, because it removes the procurement friction and makes adoption a product decision instead of a budget decision. The moat is real and specific: Figma owns the design graph, which means competitors building outside Figma have to reverse-engineer intent from a static export while Make reads the live constraint tree. The stress test is whether this survives when GitHub Copilot and cursor start reading Figma files directly via MCP — and the answer is probably yes, because Make's value is the sync loop, not just the one-shot generation, and that requires deep Figma API access nobody else has yet.”

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