gdp-ts
rauchg/gdp-tsSkill
Authorization and other preconditions as compile-time proofs in TypeScript, with the gdp-ts library (Ghosts of Departed Proofs). Use when adding, changing or reviewing authorization, entitlement or ownership checks in a TypeScript codebase that uses gdp-ts (imports of `name`, `Named`, `Proof` or `defineProof`), when adopting the pattern in a codebase, or when fixing type errors that mention `Named<...>` or proof types.
Why this score
Popularity score: 76/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 21, 2026 at commit 0b6ebeeec827, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onegdp-ts rauchg/gdp-ts · Skill | 76 | ★ 818 | ≈107 always | 16d ago |
| applicationinsights-web-ts microsoft/skills · Skill Both about ts and script | 74 | ★ 3.1k | ≈137 always | 18d ago |
| Install PuerTS for Unity Tencent/puerts · Skill Both about ts | 74 | ★ 6.2k | ≈58 always | 20d ago |
| ring:bff-ts LerianStudio/ring · Subagent Both about ts and type | 57 | ★ 218 | ≈58 in chat | 22d ago |
| agent-sdk-verifier-ts ccplugins/awesome-claude-code-plugins · Subagent Both about ts and script | 61 | ★ 977 | ≈76 in chat | 3mo ago |