// What we do
VOB Soft tames AI. We build the tools that make sure the machines do what you actually want — not what they think you mean.
01 —
AI Interviewer for Distillation. Interviews synthetic expert personas to crystallize human intent into rigorous functional specifications — the layer no machine can replace.
02 —
A local LLM proxy and cost-control layer. Cheap-first routing, confidence self-assessment, and automatic escalation. Keeps AI costs tractable without sacrificing capability.
03 —
Converts verified specifications into working, tested code. Built on the thesis that rigorous specs plus LLMs finally make formal methods practical in production.
Founding belief
Human wanting is the only irreplaceable element in the software pipeline. The spec is the future unit of software distribution. LLMs knocked down the tractability wall that kept formal methods out of production for fifty years — making rigorous and feasible simultaneously achievable for the first time.
Richmond, California · Building in public