{
    "author": null,
    "date_published": "2026-10-15T00:00:00.000Z",
    "dek": null,
    "direction": "ltr",
    "domain": "leodemoura.github.io",
    "excerpt": "AI agents are very effective at finding vulnerabilities in our software. This includes the kernel (the proof checker) of the Lean proof assistant. See our two recent postmortems (August 1, August 24).…",
    "lead_image_url": null,
    "next_page_url": null,
    "rendered_pages": 1,
    "title": "Lean Now Ships with Verified Kernels",
    "total_pages": 1,
    "url": "https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/",
    "word_count": 721
}