gdp-ts: type-based 'proof' system for TypeScript for secure API calls

gdp-ts is a new TypeScript library, linter and AI capability that requires 'proofs' at sensitive function calls and verifies them at compile time using the type checker. Its goal is to prevent severe security bugs caused by missing authorization checks; its patterns are inspired by Haskell ecosystems and the research of Matt Noonan and Ollie Charles, modeling real Vercel API scenarios.