Tov se představuje jako programovací jazyk pro coding agenty, který používá syntaxi blízkou TypeScriptu a převádí program přes C do nativního binárního souboru. Omezuje některé volné konstrukce: nemá typ any, null ani porovnání pomocí dvou rovnítek a odděluje celočíselný a desetinný typ. Potenciálně selhávající volání vyžaduje explicitní označení nebo obsluhu chyby.
Kontrolní příkaz poskytuje strukturované diagnostiky a navržené opravy, které může agent zapracovat. Autoři uvádějí vlastní měření rychlosti kompilace a běhu proti dalším jazykům; výsledky nelze zobecnit na všechny aplikace. Tov také podporuje vybraná známá rozhraní a balíčky, jejichž použití může změnit obsah výsledného programu. Přínosem má být konkrétnější zpětná vazba pro agenta, nikoli garance bezchybného kódu.
