Currently the computation is done in observable notebooks, and the distributions are canoncialized by commiting them to this repository.
I quite agree with @Beanow here. Making mana/grain into a token would enable price discovery and allow new people to buy in to the community. These will be important in the future, but are likely to be distracting in the short term.
Also, I want to experiment with mechanisms where people use mana/grain as part of the SourceCred game. Keeping it an “in-house” quantity will make those integrations lower friction. (In the future, it might be that there is “staked mana” which is available in the system, and “unstaked mana” which is freely transferrable as a token, and users can choose when to stake or unstake it.)
Possibly the first step before making it into an ERC-20 token is to just give people the ability to transfer mana (to other SourceCred community members).
BTW, glad to have the initiative even if we don’t do prioritize it immediately. 