I made a sandboxed harness for testing repos with Kimi K3 on ppq. I know it's not as good as what the Bitcoin Red Team is using. I have result reports to compare from both so I know theirs goes harder, but maybe that's all in the prompt they are using. Feel free to try it if you want. Load up some credit at ppq[dot]ai, pop your key in the .env and go. It's not as expensive as I thought. https://github.com/SuperPhatArrow/red-team