He said in another thread there's 6 people involved. 6 people for this project doesn't feel lean, without even considering the enormous LLM spend/complexity
The site say 1200 Github contributors and looking on Github there are now 2105 so it doesn't seem to be dropping that much.