agy has fewer users than grok, both are ~1% based on some surveys I've seen, not every harness needs to be evaluated