Really interesting solution to the AI PR problem. Keeping the maintainers in the driver's seat for issue prioritization is definitely the right approach.
How are you handling the token allocation under the hood, is this managed via a GitHub App integration, and can backers target specific issues or just the repo as a whole?
I've got a couple good docs in the footer of www.clevercrow.io that will answer the token stuff. GitHub app integration for all repo interaction. Yep, backers can target specific issues or entire repos, their choice.