{
  "type": "tweet",
  "id": "2112936525457740139",
  "url": "https://x.com/GitHubNext/status/2112936525457740139",
  "twitterUrl": "https://twitter.com/GitHubNext/status/2112936525457740139",
  "text": "How do you _guarantee_ your agent's code is correct? You prove it.\n\nIntroducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.\n\nPDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.\n\nPDD Kit takes an app's login flow from intent to a verified pull request:\n\nIt discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.\n\nOnce you approve the spec, the Verus verifier automatically proves the code meets it.\n\nWhere proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).\n\nIt works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.\n\nThe goal is a verified software factory, where engineers review specifications instead of code.\n\nCome see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!",
  "source": "",
  "retweetCount": 34,
  "replyCount": 41,
  "likeCount": 631,
  "quoteCount": 26,
  "viewCount": 73353,
  "createdAt": "Wed Oct 21 15:58:18 +0000 2026",
  "lang": "en",
  "bookmarkCount": 768,
  "isReply": false,
  "inReplyToId": null,
  "conversationId": "2112936525457740139",
  "displayTextRange": [
    0,
    280
  ],
  "inReplyToUserId": null,
  "inReplyToUsername": null,
  "author": {
    "type": "user",
    "userName": "GitHubNext",
    "url": "https://x.com/GitHubNext",
    "twitterUrl": "https://twitter.com/GitHubNext",
    "id": "1278452499570196480",
    "name": "GitHub Next",
    "isVerified": false,
    "isBlueVerified": true,
    "verifiedType": "Business",
    "profilePicture": "https://pbs.twimg.com/profile_images/1445094957354655745/-znTubDN_normal.png",
    "coverPicture": "https://pbs.twimg.com/profile_banners/1278452499570196480/1633372508",
    "description": "",
    "location": "The Future",
    "followers": 27857,
    "following": 45,
    "status": "",
    "canDm": false,
    "canMediaTag": true,
    "createdAt": "Wed Jul 01 22:17:45 +0000 2020",
    "entities": {
      "description": {
        "urls": []
      },
      "url": {}
    },
    "fastFollowersCount": 0,
    "favouritesCount": 1266,
    "hasCustomTimelines": true,
    "isTranslator": false,
    "mediaCount": 82,
    "statusesCount": 696,
    "withheldInCountries": [],
    "affiliatesHighlightedLabel": {
      "label": {
        "badge": {
          "url": "https://pbs.twimg.com/profile_images/2051404708766507008/ATxxTJXO_bigger.jpg"
        },
        "description": "GitHub",
        "url": {
          "url": "https://twitter.com/github",
          "url_type": "DeepLink"
        },
        "user_label_display_type": "Badge",
        "user_label_type": "BusinessLabel"
      }
    },
    "possiblySensitive": false,
    "pinnedTweetIds": [
      "2095215736322953601"
    ],
    "profile_bio": {
      "description": "We are a team of researchers and engineers at @GitHub who investigate the future of software development.",
      "entities": {
        "description": {
          "user_mentions": [
            {
              "id_str": "",
              "indices": [
                46,
                53
              ],
              "name": "",
              "screen_name": "GitHub"
            }
          ]
        },
        "url": {
          "urls": [
            {
              "display_url": "githubnext.com",
              "expanded_url": "https://githubnext.com",
              "indices": [
                0,
                23
              ],
              "url": "https://t.co/owxSUI3DqE"
            }
          ]
        }
      }
    },
    "isAutomated": false,
    "automatedBy": null
  },
  "extendedEntities": {
    "media": [
      {
        "additional_media_info": {
          "monetizable": false
        },
        "allow_download_status": {
          "allow_download": true
        },
        "display_url": "pic.x.com/oQqWuL8RFV",
        "expanded_url": "https://x.com/GitHubNext/status/2112936525457740139/video/1",
        "ext_master_playlist_only": [],
        "ext_media_availability": {
          "status": "Available"
        },
        "ext_playlists": [],
        "id_str": "2112936118496931841",
        "indices": [
          281,
          304
        ],
        "media_key": "13_2112936118496931841",
        "media_results": {
          "id": "QXBpTWVkaWFSZXN1bHRzOgwABAoAAR1SqDR4GjABAAA=",
          "result": {
            "__typename": "ApiMedia",
            "id": "QXBpTWVkaWE6DAAECgABHVKoNHgaMAEAAA==",
            "media_key": "13_2112936118496931841"
          }
        },
        "media_url_https": "https://pbs.twimg.com/amplify_video_thumb/2112936118496931841/img/W2ECE7QF_8haN_uI.jpg",
        "original_info": {
          "focus_rects": [],
          "height": 1080,
          "width": 1920
        },
        "sizes": {
          "large": {
            "h": 1080,
            "w": 1920
          }
        },
        "type": "video",
        "url": "https://t.co/oQqWuL8RFV",
        "video_info": {
          "aspect_ratio": [
            16,
            9
          ],
          "duration_millis": 34066,
          "variants": [
            {
              "content_type": "application/x-mpegURL",
              "url": "https://video-s.twimg.com/amplify_video/2112936118496931841/pl/hbyUNsJXQSwW5abX.m3u8?tag=29&v=560"
            },
            {
              "bitrate": 256000,
              "content_type": "video/mp4",
              "url": "https://video-s.twimg.com/amplify_video/2112936118496931841/vid/avc1/480x270/R2ngLMONhoJCsaXf.mp4?tag=29"
            },
            {
              "bitrate": 832000,
              "content_type": "video/mp4",
              "url": "https://video-s.twimg.com/amplify_video/2112936118496931841/vid/avc1/640x360/unT6w6fYRPbCw4ki.mp4?tag=29"
            },
            {
              "bitrate": 2176000,
              "content_type": "video/mp4",
              "url": "https://video-s.twimg.com/amplify_video/2112936118496931841/vid/avc1/1280x720/ZUFYcgMdKNFFvnxN.mp4?tag=29"
            },
            {
              "bitrate": 10368000,
              "content_type": "video/mp4",
              "url": "https://video-s.twimg.com/amplify_video/2112936118496931841/vid/avc1/1920x1080/cVkcvtHTf07tdEJh.mp4?tag=29"
            }
          ]
        }
      }
    ]
  },
  "card": null,
  "place": {},
  "entities": {
    "hashtags": [],
    "symbols": [],
    "timestamps": [],
    "urls": [],
    "user_mentions": [
      {
        "id_str": "21457289",
        "indices": [
          124,
          137
        ],
        "name": "Microsoft Research",
        "screen_name": "MSFTResearch"
      },
      {
        "id_str": "1278452499570196480",
        "indices": [
          300,
          311
        ],
        "name": "GitHub Next",
        "screen_name": "GitHubNext"
      }
    ]
  },
  "quoted_tweet": null,
  "retweeted_tweet": null,
  "isLimitedReply": false,
  "communityInfo": null,
  "article": null
}