Launchscene
PricingSign in
Explore

GitHub Next - How do you _guarantee_ your agent's code is correct? You prove it. I

GitHub Next · Oct 2026 · 0:34 · AI-annotated

Length
0:34
Scenes
11 · 3.1 s avg
Product on screen
0:05
Voiceover
Yes
00:00:00 / 00:34:07

GitHub Next’s 0:34 launch film runs 11 scenes, about 3.1 s each. The product shows up at 0:05. There is no explicit call to action; a voiceover carries the film. The video is built around one continuous voiceover sentence that types out word by word in green while locked-off cards, code editors, and status panels swap in behind it. Motion stays minimal and status-driven: counters tick, dots flip to green checks, badges pop, and panels ease or tilt, on a pale field that turns to a purple dotted grid for the demo.

No filming indicatedEstimated needs: 2 capture groups — your screens or recordings · 1 official logo — reused across the film · 1 3D passage — build or supply
Plan my film from this onePrintable storyboard

Is this your launch? to your site or press kit.

More like this

GitHub Next - How do you _guarantee_ your agent's code is correct? You prove it. I, scene by scene

· 11 scenes as text

  1. 01 · Problem · 0:00–0:05

    On a plain off-white background, a four-line caption builds up line by line in black, with the final two lines highlighted in green, then the whole block fades to a pale gray and disappears. The frame stays locked off throughout.

    On-screen text: “Until now, there was no way to prove a coding agent followed your plan.”

    Techniques: Kinetic type

    Camera: Static

  2. 02 · Product intro · 0:05–0:10

    A pull request card sits centered on a pale background as its numbers tick up and its status squares fill green. 'PDD Kit' and 'gives you that proof.' fade in above, word by word, then the card's footer flips from Waiting to a green Verified.

    On-screen text: “PDD Kit”, “gives you that proof.”

    Techniques: Kinetic type

    Camera: Static

  3. 03 · Demo · 0:10–0:14

    A dark Rust editor sits left with green highlights filling its ensures block while a white Verus card sits right. A bottom caption types the sentence word by word, newest words in green, then the layout swaps to a verified pull request card over a terminal with passing tests.

    On-screen text: “Verus”, “CO-DEVELOPED BY Microsoft Research”, “It turns your intent into a precise formal spec and proves”, “with partners from industry and academia”

    Techniques: Kinetic type

    Camera: Push in

  4. 04 · Demo · 0:14–0:15

    A white rounded card holding a numbered to-do list scrolls upward over a purple dotted backdrop. A black cursor hovers near the top edge while a green caption sits below the card.

    On-screen text: “and proves the agent's code”

    Camera: Static

  5. 05 · Demo · 0:15–0:22

    A dimmed document with a code block sits behind a white status card that flips from 'Some checks haven't completed yet' to 'All checks have passed', its dots turning green checks. Green highlights spread through the background text while a lower-third caption types out word by word.

    On-screen text: “meets it for every possible input, including the ones your tests are likely to miss.”

    Techniques: Kinetic type

    Camera: Static

  6. 06 · Demo · 0:22–0:23

    A dark GitHub pull-request card sits tilted in 3D on a purple dotted backdrop. A green caption builds word by word along the bottom, while a purple Merged badge pops into the top-right corner of the card.

    On-screen text: “The login code in this demo”

    Techniques: 3D mockup, Kinetic type

    Camera: Static

  7. 07 · Demo · 0:23–0:24

    A dark pull request page with a merged badge and bullet list holds on a purple dotted field, the caption set below. The page then swaps to a Rust test file view.

    On-screen text: “The login code in this demo”

    Camera: Static

  8. 08 · Demo · 0:24–0:25

    A dark code editor window showing a Rust test file sits on a purple dotted background. A green Tested badge pops in at the top right and three assert lines highlight in green, while a bottom caption completes to shipped with its tests.

    On-screen text: “shipped with its tests,”

    Camera: Static

  9. 09 · Demo · 0:25–0:27

    A white panel on a purple dotted background displays an intent map with Gherkin test scenarios. A cursor hovers over the spec text. At the bottom, a caption builds word by word, the final words in green.

    On-screen text: “a spec anyone can read,”

    Techniques: Kinetic type, Cursor demo

    Camera: Static

  10. 10 · Demo · 0:27–0:30

    A dark documentation panel on a purple pixel grid eases slightly smaller. A blue 'Proved' pill slides into the top-right corner. A light strip below cycles a large dark caption phrase by phrase.

    On-screen text: “and a Verus”, “the code is proof”, “that the code matches it.”

    Techniques: Kinetic type

    Camera: Static

  11. 11 · Outro · 0:30–0:34

    On a pale cream field, the Microsoft Research logo and wordmark sit left of a plus sign, the GitHub Next logo and wordmark right, fading from pale to full color. A green rule holds a footer with the UNIVERSE'26 mark and date and city, then the frame locks off.

    On-screen text: “Microsoft Research +”, “GitHub Next”, “UNIVERSE'26”, “OCTOBER 2026 · SAN FRANCISCO”

    Camera: Static