Kagi is using fireworks.ai according to the docs, which is the 685B model.

Kagi and Aider benchmarks definitely put R1 in the lead, but I have yet to try them out.