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

X-PostChris TateTool

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.

Das Wichtigste

  1. gdp-ts umfasst eine Bibliothek, einen Linter und einen AI Skill für sichereres API-Design in TypeScript.
  2. Sensible Operationen verlangen typisierte Nachweise ('Proofs'), dass Autorisierungsprüfungen vorab ausgeführt wurden.
  3. Fehlende Prüfungen werden bereits zur Compile-Zeit vom Typechecker abgefangen, bevor Code ausgeliefert wird.
  4. Das Konzept stammt ursprünglich aus Haskell (Forschung von Matt Noonan und Ollie Charles), war für menschliche Entwickler wegen des Overheads aber eine Nische.
  5. Laut Guillermo Rauch und Chris Tate eignet sich der Ansatz besonders für KI-Agenten, da diese in Feedback-Schleifen mit strikten formalen Einschränkungen besonders gut funktionieren.

Warum das relevant ist

Wenn KI-Agenten immer mehr Code generieren, stößt manuelles Code-Review an Grenzen. Indem Berechtigungen als typisierte Beweise zwingend im Typsystem verankert werden, verhindern Compiler-Fehler das versehentliche Weglassen kritischer Sicherheitsprüfungen.

Einordnung

Das Prinzip 'Ghosts of Departed Proofs' verlagert Sicherheitsregeln von reiner Laufzeitlogik und Code-Reviews direkt in die statische Analyse. Guillermo Rauch vergleicht den Nutzen harter Compiler-Vorgaben für Agenten mit dem Borrow-Checker in Rust: Während Menschen syntaktischen Mehraufwand oft meiden, bieten solche formalen Hürden für automatisierte Programmierwerkzeuge verlässliche Leitplanken ohne Laufzeitkosten.

Original-Post

Chris Tate

@ctatedev · 5. Oktober 2026

This makes required checks for sensitive operations part of the type system Especially useful for agent-written code 1. Define required checks 2. Require typed proof 3. Catch missing proof at compile time t.co/yBwL9foZSc

120 Likes6 Antworten99 Lesezeichen15.973 Aufrufe

Auf X ansehen
Ausgewählte Antworten (5)
  • @sunglassesface @ctatedev @grok can you explain wtf this is for people with low IQ that dont care about marketing
  • @grok @sunglassesface @ctatedev gdp-ts is a TypeScript tool that forces permission checks into the type system. Sensitive actions (change password, etc.) require a special "proof" token. You only get that token by actually running the auth check on the exact user and resource. No matching proof? The code
  • @sunglassesface @grok @ctatedev very avant-garde
  • @Souniolang @ctatedev Step 1 carries the weight: proofs enforce the checks someone remembered to list. The ones that never made the list keep passing — silently. The next failure mode for this pattern is the list's own coverage.
  • @gol_tiro @ctatedev catching a missing proof at compile time is a nice fit for agent code, forgetting the check just fails the build. does threading the proof through get annoying in a bigger codebase?

Erwähnte Links

Links und Tools aus diesem Beitrag

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.

  • Repository:affaan-m/agentshield

    AgentShield: Sicherheits-Auditor für Claude-Code- und MCP-Konfigurationen

    AgentShield ist ein Open-Source-Sicherheitsscanner in TypeScript, der lokale Konfigurationen von KI-Agenten überprüft. Das Tool untersucht `.claude/`-Verzeichnisse auf hardcodierte Secrets, unsichere MCP-Server, Hook-Injections und Fehlkonfigurationen bei Berechtigungen.

    1163SterneTypeScript

    KI & AI· Tool

  • Repository:miskaone/learn-powerplatform-fyi

    Mastery Gate: Deterministische Steuerung von KI-Coaches über WebMCP

    Mastery Gate ist ein experimenteller PL-400-Lernkurs, der demonstriert, wie Websites über das WebMCP-Protokoll die Fähigkeiten und Werkzeuge von Besucher-KI-Agenten deterministisch steuern können. Anstelle von Prompts regelt eine TypeScript-Engine die Autorisierung von Tools und verhindert das Auslesen von Musterlösungen.

    TypeScript

    KI & AI· Demo

  • X-Post:Corey Haines

    Open-Source-Sammlung von Cybersecurity-Skills für KI-Coding-Agenten

    Bri Russell hat ein umfassendes Update für ihr Open-Source-Repository cybersecurity-skills veröffentlicht. Die Sammlung liefert vorgefertigte Sicherheitsanweisungen für KI-Coding-Agenten wie Claude Code, Cursor und Codex. Sie unterstützt Teams ohne eigene Sicherheitsabteilung bei Audits und Schwachstellenanalysen.

    170Lesezeichen7635Aufrufe

    KI & AI· Sammlung

  • X-Post:fks

    Flue 2: TypeScript-Agenten-Framework setzt auf React-inspirierte Hooks

    Fred K. Schott kündigt Flue 2 an. Das TypeScript-Framework für KI-Agenten nutzt ein an React angelehntes Hook-Konzept, um die Komposition und dynamische Anpassung von Agentenfähigkeiten zur Laufzeit zu vereinfachen.

    639Lesezeichen126.632Aufrufe

    KI & AI· Ankündigung

  • Link:infisical.com

    Infisical: Open-Source-Sicherheitsinfrastruktur für Entwickler und KI-Agenten

    Infisical bietet eine Open-Source-Plattform (MIT-Lizenz) für Secret Management, Zertifikatsverwaltung und Privileged Access Management. Neben der Absicherung klassischer CI/CD- und Kubernetes-Workloads richtet sich das Tool speziell an KI-Agenten: Über Proxys und MCP-Server erhalten LLMs Zugriff auf externe Schnittstellen und Datenbanken, ohne dass Secrets im Kontext landen oder durch Prompt Injections abgegriffen werden können.

    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.