Vibe Typer vs LeanWarp

A side-by-side comparison built from both listings. Blank cells mean the company has not given that detail; we never guess.

Vibe Typer compared with LeanWarp
Detail	Vibe Typer	LeanWarp
What it does	Voice typing for Linux, Windows, macOS & iOS	Hosted Lean 4 API for proof agents
Stage	Startup	MVP
Founded	2025	Not given
Based in	AU	Not given
Pricing model	Freemium	Paid
Pricing	Free: $0/month with 2,000 words transcribed per month and 20 AI operations per month. Pro: $96/year (billed annually) or $10/month (billed monthly), with unlimited voice typing and AI operations.	Starting at $0.000278 per second of worker time (including idle time, increasing with CPU and RAM usage). $10 minimum credit purchase. $10 free credit for new accounts with verified email while launch offer lasts.
Key features	Works in every app with a cursor Supports 99 languages with automatic detection Magic Formatter cleans up natural speech patterns AI rewrite and voice commands Auto-learning dictionary learns from corrections Settings sync across all devices Native support for Linux Wayland and X11 Audio deleted immediately, nothing stored Works in terminals and code editors	Not given
What makes it different	Native on both Wayland and X11 for Linux, which competitors don't support Text quality and speed surpasses alternatives like Whispr Flow Works in any app without per-app setup or browser extension required	Mathlib preloaded in pinned environments Multiple API interfaces (CLI, MCP, Python, HTTP) Kernel-verified proofs with no axioms allowed Draft checking for iterative development
Free plan	Not given	Not given
Open source	Not given	Not given
Platforms	Not given	Not given
Public API	Not given	Not given
Community votes	0	0
DR (Domain Rating by Ahrefs)	16 −8 (down) since last check	Not checked yet no change since last check
Trust Flow (Majestic)	20	0
Citation Flow (Majestic)	32	0
Referring domains (Majestic)	71	0

5 details filled in for both companies.

More alternatives to Vibe Typer More alternatives to LeanWarp