<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <title>Proof of Keags — Research</title>
        <link>https://proofofkeags.com</link>
        <description><![CDATA[Research notes from Keagan McClelland: formal verification, Bitcoin protocol engineering, AI-authored verified software.]]></description>
        <atom:link href="https://proofofkeags.com/research/rss.xml" rel="self"
                   type="application/rss+xml" />
        <lastBuildDate>Tue, 12 May 2026 00:00:00 UT</lastBuildDate>
        <item>
    <title>Formal Vibefication</title>
    <link>https://proofofkeags.com/research/2026-05-12-formal-vibefication.html</link>
    <description><![CDATA[Taking agents from crap to cracked.]]></description>
    <pubDate>Tue, 12 May 2026 00:00:00 UT</pubDate>
    <guid>https://proofofkeags.com/research/2026-05-12-formal-vibefication.html</guid>
    <dc:creator>Keagan McClelland</dc:creator>
</item>

    </channel>
</rss>
