Principle Type System Discipline
by cursorccb5507cec15No license10K starsListed Oct 8, 2026Updated Oct 8, 2026Repository updated today
Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make illegal states unrepresentable, brand semantic primitives, parse external data at boundaries, refuse to lie to the compiler, exhaust variants, derive from authoritative schemas.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| SKILL.md | 4.8 KB | text/markdown |
Source and attribution
Source:cursor/pluginsinpstack/skills/principle-type-system-disciplineat commitccb5507
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from cursor/plugins
Unslop
cursor
Edits text to remove AI writing tells, following a numbered list of patterns to detect and fix.
Setup Pstack
cursor
Writes a Cursor rule that sets pstack's model per role and reasoning budget.
Thermo Nuclear Review
cursor
Audits a checked-out branch or PR diff for bugs, breaking changes, security issues, devex regressions and feature-gate leaks.
Run Learning Retrospective
cursor
Guides a learning retrospective to review progress, find blockers, and adjust a learning plan.
Ralph Loop Help
cursor
Explains the Ralph Loop plugin, its iterative technique, options, cancellation, and when to use it.
Thermos
cursor
Runs two parallel code review subagents and synthesizes their findings into one prioritized verdict.
More in Software Development
Playground
anthropics
Builds self-contained interactive HTML playgrounds with controls, live preview, and copyable prompt output.
M5 Onboard
anthropics
Provisions M5Stack ESP32 boards by detecting them on USB, flashing UIFlow 2.0 firmware, and installing a MicroPython app bundle.
Cardputer Buddy
anthropics
Guides iterating on a Cardputer-Adv MicroPython app bundle: adding apps, pushing files over USB-serial, tailing logs, and running REPL commands.
Dpop Adoption
Guides implementation of OAuth 2.0 DPoP (RFC 9449) sender-constrained refresh tokens for Google's OAuth platform.
Gemini Live Api
Generates a Gemini Live API WebSocket client class, tests, docs, and a demo UI for bidirectional streaming.
Gemini Api
Guides use of the Gemini API on Google's Agent Platform with the Gen AI SDK across languages and capabilities.