9 ms·Vero: Can AI Agents Build Formally Verified Software Repositories?2 points by ninadwrites 1mo ago