Hayden
@haydenbleasel
You can try gdp-ts with Ultracite 7.12.4
Forge a proof with {} as UserIsAdmin<U>, create one outside proofs/, or leak the function that creates it → lint error.
Works with Oxlint and ESLint, nothing extra to install. Just add the preset to your config ↓
Forge a proof with {} as UserIsAdmin<U>, create one outside proofs/, or leak the function that creates it → lint error.
Works with Oxlint and ESLint, nothing extra to install. Just add the preset to your config ↓
Guillermo Rauch@rauchg · Oct 5Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript.
gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check.
The typechecker verifies these proofs at
gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check.
The typechecker verifies these proofs at
0:06 7 138