How Kepler built verifiable AI for financial services with Claude — Blankdot