The primary AI model used to develop rbitcoin is Grok