Athanor builds Kairos, a verification engine that proves or disproves claims in computational science and engineering with upper and lower bounds. Built for teams whose claims have to hold up to scrutiny, not just pass a testbench.