Athanor is proving or disproving computational claims, end to end. We build Kairos, a multi-agent verification engine for hardware and software. For RTL optimization, LLMs propose changes and formal tools prove or refute equivalence; every accepted optimization carries machine-checked proof, measured area reduction, and reproducible conditions. Built for teams whose claims have to hold up to scrutiny, not just pass a testbench.