gdp-ts: Compile-Time Authorization Proofs in TypeScript

Repositoryrauchg/gdp-tsTool

gdp-ts brings the 'Ghosts of Departed Proofs' paradigm to TypeScript, enforcing authorization and entitlement checks at compile time via the type checker.

Key points

  1. Combines a lightweight library (@gdp-ts/core), a linter, and an AI skill to guide both humans and coding agents.
  2. Eliminates detached authorization checks by requiring callers to supply evidence (proof types) before invoking sensitive operations.
  3. Near-zero runtime overhead, relying almost entirely on TypeScript compile-time type verification.
  4. Requires TypeScript 5.4 or higher, with minimal type-checking latency (around 0.3 ms per verified call site).

Why it matters

Authorization and entitlement bugs often occur when assertions are accidentally skipped or business rules diverge across call sites. By verifying proof tokens at compile time, gdp-ts prevents these vulnerabilities from ever reaching production.

Analysis

Created by Guillermo Rauch, gdp-ts translates a formal verification technique from functional programming into idiomatic TypeScript. With 550 stars, it serves as an early but practical tool to counter 'boolean blindness', specifically catering to human-and-agent software development workflows without heavy runtime overhead.

Mentioned links

Found in

Summary generated by AI (Gemini 3.8 Flash, 6 October 2026). It may contain errors – the original source is authoritative.

Related entries

Similar in content, found by the AI search.

  • Repository:swoole/typephp

    TypePHP: AOT Compiler Translates PHP to Native Binaries

    TypePHP is an Ahead-Of-Time (AOT) compiler developed under Swoole that translates PHP source code into C++17 and then into native machine code. It produces standalone executables, PHP extensions, shared libraries, or WASI components without interpreting Zend opcodes at runtime.

    1.2kstarsPHP

    Web development· Tool

  • X post:Tibo

    OpenAI Releases Codex Security CLI and TypeScript SDK

    OpenAI has open-sourced Codex Security, a tool designed to discover, validate, and remediate vulnerabilities in codebases. It provides a CLI, a TypeScript SDK, and support for multiple model providers.

    5.6kbookmarks736.6kviews

    AI & LLMs· Tool

Back to the knowledge base

Let's talk about your project

Get in touch

Locations

  • Mattersburg
    Johann Nepomuk Bergerstraße 7/2/14
    7210 Mattersburg, Austria
  • Vienna
    Ungargasse 64-66/3/404
    1030 Wien, Austria

Parts of this content were created with the assistance of AI.