AI tool comparison
TUI-use vs Vera
Which one should you ship with? Here is the side-by-side panel verdict, pricing read, reviewer split, and community vote comparison.
Developer Tools
TUI-use
Let AI agents take control of interactive terminal programs
75%
Panel ship
—
Community
Paid
Entry
TUI-use is an open-source library that gives AI agents the ability to interact with traditional interactive terminal (TUI) applications — think vim, htop, ssh sessions, database CLIs, and legacy text-based UIs that were never designed for programmatic control. Instead of requiring a GUI or a REST API, TUI-use interprets terminal output as structured state and sends synthetic keystrokes back, enabling agents to "see" and "drive" any TUI application as if they were a human at a keyboard. The project was born from a real pain point: AI coding agents can call bash commands and write files, but they fail badly the moment a tool opens an interactive prompt waiting for user input. TUI-use solves this by building a state machine layer over PTY (pseudo-terminal) interfaces, letting agents read the current screen buffer, detect interactive prompts, and respond intelligently. It ships with adapters for common TUI patterns and a clean API that works with any LLM tool-use framework. The Show HN post attracted genuine interest from the ops and DevOps community — many existing workflows depend on tools that expose only an interactive terminal interface. TUI-use fills a real gap in the "AI agents that control computers" space by handling the long tail of CLI programs that have no API, no GUI, and no intention of ever getting one.
Developer Tools
Vera
A programming language designed for machines, not humans
50%
Panel ship
—
Community
Paid
Entry
Vera is a programming language built from the ground up for LLMs to write — not humans. Named after the Latin word for truth, it compiles to WebAssembly and runs in both the CLI and browser. Its most radical design choice: it eliminates variable names entirely, replacing them with typed De Bruijn structural references (like `@Int.0` for the most recent integer binding). Research suggests naming confusion is one of the biggest failure modes in AI-generated code — Vera removes the problem at the language level. Every function in Vera must declare `requires()` preconditions, `ensures()` postconditions, and `effects()` side-effect declarations. The compiler uses Z3 formal verification to check contracts at every call site, meaning the AI can't ship code that violates its own preconditions. Error messages are structured JSON with stable codes — written as instructions for AI systems to parse and fix, not human developers to read. Benchmark results are striking: on VeraBench, Kimi K2.5 achieves 100% correctness writing Vera code, outperforming both Python (86%) and TypeScript (91%) implementations. At v0.0.127 with 810+ commits, 127 releases, 3,638 tests, and a 13-chapter spec, this is a serious project — not a weekend experiment. If AI is going to write most of our code, perhaps the code should be designed for AI to write.
Reviewer scorecard
“This is the missing piece for automating legacy ops workflows. Half my toolchain is interactive TUI apps that choke every agent pipeline — TUI-use just quietly solves that. The PTY state machine approach is clever and the API is clean.”
“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.”
“Screen-scraping terminal output to infer state is fragile — any change in terminal colors, locale, or version will break your parser. This works fine for demos but I'd want to see battle-hardened error recovery before running it against anything production-critical.”
“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 real unlock here is making 40 years of terminal software suddenly agentic without a single line change from the original developers. TUI-use could quietly become the bridge that lets AI agents inherit the entire unix toolchain ecosystem.”
“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.”
“Not my usual domain but I can see this saving hours for anyone managing servers — having an agent that can actually ssh in and navigate interactive prompts without getting stuck is genuinely useful. The demo videos make it look surprisingly smooth.”
“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.”
Weekly AI Tool Verdicts
Get the next comparison in your inbox
New AI tools ship daily. We compare them before you waste an afternoon.