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.

GitHub

GitHub - SuperPhatArrow/red-team: Caged agent harness for auditing code with models without guardrails

Caged agent harness for auditing code with models without guardrails - SuperPhatArrow/red-team