{"author":"matt_d","children":[],"created_at":"2026-08-23T04:59:37.000Z","created_at_i":1787461177,"id":49406158,"options":[],"parent_id":null,"points":1,"story_id":49406158,"text":null,"title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","type":"story","url":"https://vero.verina.io/"}