The role of Agoras in all of this is what happens when we are using TauML to translate so we can reduce ambiguity in our communication with each other, so we can reach agreement on what to do next? Well if we do reach agreement we translate it from human readable to machine readable, so from controlled English for example to machines via program synthesis.
So we can think of our agreements on what to do next as collaboratively describing the functioning of software in as detailed of a manner as possible (a specification). From this we either can rely on program synthesis in which case a directly translation into software or in other instances it will be human programmers who will need to be hired.
So when we have agreed as a community then program synthesis turns that agreement into code automagically. When one of us wants to do our own project or if paths diverge then Agoras will allow anyone who has tokens to communicate their specification to the network and then any programmer(s) can meet the requirements. In other words, a market for code paid for with Agoras.
And no not just code, knowledge, computation resources, etc. So you can see Agoras will be a big deal. As big as EOS by itself, but collaboratively developed and improved upon continuously. It is also true that Tauchain will potentially via Agoras create lots of jobs for digital nomads who will be able to sell knowledge, or do coding, or do knowledge engineering.