Yep. Cursor’s Composer 2 model is a good example, though it is not clear if they entered into an agreement with Moonshot before they got found out in March this year [1] or after.

1: https://x.com/fynnso/status/2034706304875602030

Demonstrating a company is using this model in court seems non-trivial, no? Or am I interpreting this post incorrectly.