Formal reasoning for AI
Enough slop! We're making tools that make agentic systems comprehensible and reliable. Our first product is Varpane - Computer use for production.