Gdp TS

Gdp TS is a verification library and linter for TypeScript that makes API contracts secure at compile time.

Gdp-ts is a verification system designed to make API contracts more secure for TypeScript codebases. It introduces compile-time checks to prevent authorization and entitlement bugs that humans and coding agents might otherwise introduce. The library works by demanding proof for sensitive functions, ensuring callers present valid evidence before execution. It includes a tiny library with no dependencies, as well as lint presets for ESLint and Oxlint to prevent forging proofs. The system requires TypeScript 5.4 or newer and offers negligible runtime overhead.

Gdp TS at a glance

Best for: Software engineer
Runs on: API, CLI, open source
Pricing: Free
Released: October 2026
Category: AI coding tool
Website: github.com/rauchg/gdp-ts

Key features

Incrementally adoptable library
Ease-to-rigor slider
Zero runtime overhead
Fast typechecking
ESLint and Oxlint presets
AI skill implementation

Use it for

Securing API contracts at compile time
Preventing authorization and entitlement bugs
Guiding coding agents through authorization patterns
Enforcing proof requirements for sensitive functions

Alternatives to Gdp TS

jevgrep — Reduces coding agent costs by providing targeted, relevant repository context.
Typia — Generates validation and schema logic at compile time from TypeScript types.
Gspot — Stops bad code, type errors, and leaked keys before commits happen.
TS Rust — It runs type checking twice as fast as the TypeScript Go compiler.
Deslop — Rejects low-evidence and low-signal code patterns generated by AI tools.
Pure State Compile — It generates verified code and audit evidence directly from English sentences.
FastMCP TS — Provides an open-source TypeScript framework for Model Context Protocol servers.
Tirith — Detects 200+ terminal and AI-agent threats locally with zero latency.
Datadog — Consolidates observability and security data in one unified platform.
Vibestart — Generates verified, type-safe full-stack projects tested end to end.
Submilli Runtime — Enforces fine-grained semantic permissions outside model control.
Codacy — Enforces unified coding standards and security policies across the software lifecycle.

All Gdp TS alternatives