{"version":"1.0","type":"link","title":"Proof Driven Development: can the agent prove it works?","author_name":"Kevin Aleman","author_url":"https://kevinaleman.com","provider_name":"Kev's logbook","provider_url":"https://kevinaleman.com","cache_age":86400,"thumbnail_url":"https://kevinaleman.com/images/pdd-header.webp"}