Is there an example of KRAGEN being used by an LLM? Looks like a cool project, but having trouble seeing where “the rubber meets the road”. Thank you