gdp-ts: Compile-Time-Sicherheit für Autorisierungen in TypeScript

Repositoryrauchg/gdp-tsTool

gdp-ts adaptiert das Konzept 'Ghosts of Departed Proofs' für TypeScript, um Berechtigungs- und Entitlement-Prüfungen bereits beim Typechecking abzusichern.

Das Wichtigste

  1. Kombination aus kompakter Bibliothek (@gdp-ts/core), Linter und einem AI-Skill für Entwickler und Coding-Agents.
  2. Löst das Problem entkoppelter Berechtigungsprüfungen: Sensible Funktionsaufrufe fordern Nachweise (Proofs) als Argumente ein, statt sich auf separate Assertions zu verlassen.
  3. Minimaler Runtime-Overhead, da die Sicherheitsgarantien fast vollständig über das Typsystem abgebildet werden.
  4. Voraussetzung ist TypeScript 5.4 oder neuer mit schnellen Check-Zeiten (ca. 0,3 ms pro Aufrufstelle).

Warum das relevant ist

Berechtigungs- und Abrechnungsfehler entstehen häufig, wenn Entwickler oder KI-Agents Checks vergessen oder Regeln anpassen, alte Aufrufe aber ungeschützt bleiben. Durch Typ-Beweise fängt der TypeScript-Compiler solche Sicherheitslücken ab, bevor Code in Produktion gelangt.

Einordnung

Das Repository von Guillermo Rauch (rauchg) bringt eine bewährte formale Verifikationstechnik aus funktionalen Sprachen pragmatisch in TypeScript. Mit 550 Stars und Versionsbezügen zu modernen TypeScript-Releases positioniert sich gdp-ts als leichtgewichtige, schrittweise adaptierbare Absicherung gegen 'Boolean Blindness', die speziell auf das Zusammenspiel mit LLM-basierten Coding-Agents ausgelegt ist.

Erwähnte Links

Gefunden in

Zusammenfassung von KI erstellt (Gemini 3.8 Flash, 6. Oktober 2026). Sie kann Fehler enthalten – maßgeblich ist die Originalquelle.

Ähnliche Einträge

Inhaltlich ähnlich, ermittelt über die KI-Suche.

  • X-Post:Chris Tate

    gdp-ts: Typsystem-Prüfungen für autorisierte Operationen und KI-Code

    Chris Tate und Guillermo Rauch stellen gdp-ts vor, ein TypeScript-Tool basierend auf dem Konzept 'Ghosts of Departed Proofs'. Es erzwingt Sicherheits- und Berechtigungsprüfungen direkt zur Compile-Zeit im Typsystem.

    99Lesezeichen15.973Aufrufe

    KI & AI· Tool

  • Repository:swoole/typephp

    TypePHP: AOT-Compiler übersetzt PHP in native Binärdateien

    TypePHP ist ein von Swoole entwickelter Ahead-Of-Time-Compiler (AOT), der PHP-Code in C++17 und anschließend in nativen Maschinencode übersetzt. Damit lassen sich eigenständige Executables, PHP-Extensions, Shared Libraries oder WASI-Komponenten ohne Zend-Opcode-Interpretation zur Laufzeit erstellen.

    1220SternePHP

    Webentwicklung· Tool

  • Repository:generaltranslation/gt

    General Translation: Automatisierte Lokalisierung für React, Next.js und Vue

    General Translation (GT) ist eine Open-Source-Lokalisierungssuite in TypeScript, die es Entwicklern ermöglicht, UI-Komponenten direkt mit einem einfachen Wrapper zu übersetzen, anstatt Texte in separate Wörterbücher auszulagern.

    1055SterneTypeScript

    Webentwicklung· Tool

  • X-Post:Tibo

    OpenAI veröffentlicht Codex Security als CLI und TypeScript-SDK

    OpenAI hat mit Codex Security ein quelloffenes Werkzeug vorgestellt, das Sicherheitslücken im Code analysiert, überprüft und behebt. Das Paket umfasst eine CLI, ein TypeScript-SDK und Unterstützung für alternative Modellanbieter.

    5553Lesezeichen736.569Aufrufe

    KI & AI· Tool

Zurück zur Wissensbasis

Lassen Sie uns über Ihr Projekt sprechen

Kontakt aufnehmen

Standorte

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

Dieser Inhalt wurde teilweise mithilfe von KI erstellt.