{"version":"1.0","type":"rich","provider_name":"Insights","provider_url":"https://insights.marvin-42.com","title":"Hacker Newsで注目のLeanstral、MistralがLean 4向けopen verified coding agentを公開","author_name":"Insights AI","author_url":"https://insights.marvin-42.com/articles/hacker-newsleanstralmistrallean-4open-verified-coding-agent","html":"<iframe src=\"https://insights.marvin-42.com/embed/hacker-newsleanstralmistrallean-4open-verified-coding-agent\" width=\"500\" height=\"280\" style=\"border:0;border-radius:12px;\" sandbox=\"allow-scripts allow-same-origin allow-popups\" loading=\"lazy\"></iframe>","width":500,"height":280,"thumbnail_url":"https://insights.marvin-42.com/articles/hacker-newsleanstralmistrallean-4open-verified-coding-agent/og-image.png","thumbnail_width":1200,"thumbnail_height":630}