I rather like the idea of capital-C Cred as cred in SourceCred itself, thanks for that! Based on this, I’m happy to give up on “corecred”.
Now, with “corecred” out of the way: what do you think of “CredCore” as an alternative to “SourceCred community contributors”?
Also, I think I am going to replace “mana” with “grain”. Mana made sense when I was really focused on the “SourceCred as a MMO meme”. But grain feels like it matches better onto the semantics: you “harvest” grain from your cred or you buy it on the market, and you “plant” grain (boosting) in ways that you think will produce more grain.