⬢github TypeScript · 650 ★ +30 since we first saw it · pushed 1 d ago · MIT
rauchg/gdp-ts
gdp-ts is a small TypeScript library and AI skill implementing 'Ghosts of Departed Proofs': functions that need authorization or entitlement must receive compile-time proof objects (e.g. 'user is admin') before they can be called. It names values at the type level so missed or stale permission checks become type errors, with near-zero runtime overhead, and guides both humans and coding agents toward safer API contracts.
Why now: A new, heavily-starred release from rauchg (creator of Next.js) tapping into current interest in making AI coding agents unable to introduce authorization bugs.
Who it is for: TypeScript developers who want authorization/entitlement mistakes caught at compile time, especially teams using AI coding agents.
Stars over our 12 snapshots: 620 to 650, since 3 h ago.
Where people talked about it
- ⬢github new repos, most starred 10 min ago
API: https://socialmediatrends-api.osmike.com/v1/repos/rauchg/gdp-ts