“Martin Casado estimates that Anthropic is the leader in AI for code generation, holding approximately 80% of the market.”