⬢github TypeScript · 706 ★ +86 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 53 snapshots: 620 to 706, since 14 h ago.
Where people talked about it
- ⬢github new repos, most starred just now
- ⬢github new repos, most starred 7 h ago
API: https://socialmediatrends-api.osmike.com/v1/repos/rauchg/gdp-ts