# How Guillermo Rauch actually uses coding agents

CEO of Vercel

**If you take one thing:** `gdp-ts`, auth checks as type proofs. instead of reviewing more agent code, he wrote a library, linter and skill that make the type checker reject missing authorization checks.

- **Agent:** Claude Code ([source, 2026-05-10](https://github.com/rauchg/typing-stats/commit/2b7bd1c99f596d8ba111564007ca122faabe63fc))
- **Model:** Claude Opus 4.6 ([source, 2026-05-10](https://github.com/rauchg/typing-stats/commit/2b7bd1c99f596d8ba111564007ca122faabe63fc))
- **Rules file:** AGENTS.md per repo, written as a first-person product spec ([source, 2026-01-06](https://github.com/rauchg/typing-stats/blob/0d6903f98e739fdb99174ed964359baec605b208/AGENTS.md#L5))
- **Skills:** gdp-ts, ui-recording-timeline ([source, 2026-10-04](https://www.skills.sh/rauchg))

## In their words

> Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

> Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

> - No xcode garbage. I want to build from CLI

> The typechecker verifies these proofs at compile time, preventing your team and agents from shipping catastrophic security (and other kinds of) bugs.


Archetype (our label): Toolsmith. Newest source: 2026-10-05.
Card: https://www.prehistoriq.com/stacks/rauchg/ · Data: https://github.com/prehistoriq/stacks/blob/main/data/stacks/rauchg.json