Solo builder from Chisinau. A band of coding agents that plans the work, builds it and proves it correct under concurrency, retries and rounding.