gdp-ts: típusalapú 'proof' rendszer TypeScripthez a biztonságos API-hívásokhoz

A gdp-ts egy új TypeScript könyvtár, linter és AI-képesség, amely 'proof'-okat követel meg érzékeny függvényhívásoknál, és a típusellenőrzőnél igazolja ezeket fordítási időben. Célja a jogosultság-ellenőrzés hiányából fakadó súlyos biztonsági hibák megelőzése; mintáit Haskell-ökoszisztémák és Matt Noonan illetve Ollie Charles kutatása inspirálta, valós Vercel API-s forgatókönyveket modellezve.