Everyone assumes AI-written code at scale means a giant pile of slop. Me too at times.
This is a vibe coding post classified by AGK Intelligence as Coding agents (a launch), kept by the Vibe Coding Radar because it carries real work, not commentary.
Everyone assumes AI-written code at scale means a giant pile of slop. Me too at times. Axiom just put out the best counterexample I've seen. They took the Stacks Project, the reference every algebraic geometer works from, built up by the math community over two decades, and turned the whole thing into Lean. Millions of lines, and every single one is checked by a computer. It either holds up or it doesn't compile. What gets me isn't even the size, it's the structure. Stacks is this massive web where every result leans on a bunch of others. Axiom compares it to the glass pyramid at the Louv
Posted by Linus ✦ Ekenstam 🔜 Adobe MAX Miami 2026 (245.8k followers) 1 days ago · 283 likes · 19.5k views · view the original post on X. Kept by the Vibe Coding Radar as Coding agents.
More vibe coding work like this
- 🚀 Work across multiple agents, keep your favorite canvases close, and customize how you… — @code
- Claude Code agents recently turned an ordinary academic reading list into an interactive… — @Bober_smart
- Someone turned their house into the Nostromo. — @Frank_web33
- your Hermes Agent now shows you pictures and screenshots right in the terminal. — @witcheer
- Bring your existing coding agent configuration to Command Code. — @CommandCodeAI
- You have to send this to Claude Code or Codex 𝗯𝗲𝗳𝗼𝗿𝗲 𝗯𝗲𝗱! You'll wake up to a… — @Voxyz_ai
- the next Polyphonic // Mnemos update is going to make you pee your pantaloons. Fable 5.5… — @RileyRalmuto
- Crazy. Full Terminal Bench 2.1, 89 tasks, 3 runs. My Mini Harness (~1,400 lines of… — @PawelHuryn
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 7.9k posts from 5k X accounts over the last 14 days, 2.6k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 16:07 UTC. Full method.