How Kepler built verifiable AI for financial services with Claude | Dark Hacker News