rauchg/gdp-ts

No repository description was reported by the source.

Open original source ↗

From the publisher

README & documentation

Source preview

Read the project’s overview, installation instructions and usage examples. The original README is the source of truth.

A tiny library + linter and AI skill implementation of Ghosts of Departed Proofs for TypeScript, a verification system to make API contracts more secure at compile (type check) time. gdp-ts makes an entire category of authorization ("can this user read this resource") or entitlement ("does this user pay for this resource") bugs very difficult for humans and coding agents to introduce, by catching them at compile time with negligible runtime overhead. Requires TypeScript 5.4 or newer. A lot of codebases feature code like this: Looks great, except: all it takes is ... for a security / business disaster to occur. We change the signature above from something anyone can call from anywhere: ...to forcing the caller to present evidence (proof) that they can do (are admin) and can get (have the plan) the thing: The skill takes care of guiding agents and humans towards this safer pattern, and away…

rauchg/gdp-ts on GitHub A short preview, not the full document.

Read the full README ↗ · Preview checked 2026-10-06T13:32:58.340Z

Inside the original README — Document outline
  1. gdp-ts
  2. Features
  3. Installation
  4. The problem
  5. The solution
  6. How it works
  7. The package
  8. The skill
  9. Examples
  10. Relationship to other solutions
  11. Prior art & Credits
  12. License

Headings are captured from the source. Links open the publisher’s document, not a locally hosted copy.

Links from the README

References supplied by the publisher, not independently verified endorsements. Check the destination before downloading files or entering credentials.

Documentation belongs to its respective authors. Reported project/model license: MIT. A listing is not a grant of reuse or training rights. Confirm the document’s own terms at the source.

What this repository does

The source does not provide a repository description. Read the project README before evaluating it.

Repository facts

Owner
rauchg
Primary language
TypeScript
Stars
620
Forks
17
Open issues + pull requests
15
License
MIT
Archived
No
Default branch
main
Created
2026-10-04T18:55:18.000Z
Last push
2026-10-05T14:06:47.000Z

Topics and intended use

No topics were included in the latest source metadata.

Review the README for scope, installation, examples and limitations. We do not run repository code or certify it.

Evaluate before installing

Review licensing and dependencies, inspect recent commits and unresolved issues, and test in an isolated environment before production use. Stars and forks alone cannot answer these questions.

README and project files

Issues and maintenance discussion

Releases and changelog

Source and freshness

Source: GitHub. Metadata observed 2026-10-06T12:05:58.366Z. Daily imports are snapshots, not real-time monitoring.

Popularity and source listings do not establish security, suitability, licensing rights or benchmark performance.

Open original source

Related repositories

freeCodeCamp/freeCodeCamp

openclaw/openclaw

nilbuild/developer-roadmap

deepseek-ai/deepseek-harness

vuejs/vue

anomalyco/opencode