principle-type-system-discipline

Apply when designing types, reviewing a function signature, or writing code in any statically-typed...

What this skill does for you

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.

Quoted from the skill description in the pinned source

Who made it

Publishermichael-denyer

Repositorypstack-claude

Installs358as of Sep 27, 2026

Use it with Edge

Set up Edge for me: read getedge.cc/SKILL.md and follow it. Then use Edge to load the principle-type-system-discipline skill from michael-denyer/pstack-claude.

Paste it into Claude, ChatGPT, Codex or Cursor.

Or read the skill source first.

Security evidence

Security state at 2026-09-30: reviewed. State definitions. This records static evidence for this revision; live load eligibility is checked again.

3 static scans, 0 counted findings. The listed scanners recorded the results shown for this package revision.

Scanner	Date	Result
Edge static checks	2026-09-27	Pass
Cisco skill-scanner	2026-09-27	Pass
Semgrep Edge rules	2026-09-27	Pass

Static scans check the code, not how well the skill works.

Scanner scope, raw findings and mirrored provider records

Edge static checks (Edge-run): edge-static/1.0.1. Scope: Static patterns for remote execution, credentials with network sends, obfuscation, prompt overrides, hidden Unicode, binaries and persistence. Revision: c02fd4922b25ee005f42042463d741d236c2c35e. Raw findings: . Counted findings: .

Cisco skill-scanner (Edge-run): cisco-skill-scanner/2.1.0. Scope: Local static, YARA, pipeline and behavioral analyzers; no LLM or AI Defense analysis. Revision: c02fd4922b25ee005f42042463d741d236c2c35e. Raw findings: 1. Counted findings: .

Semgrep Edge rules (Edge-run): semgrep/1.178.0+edge-rules.c15016a36fd3+offline-v1. Scope: Six Edge-authored static rules with Semgrep CE; offline execution and metrics disabled. Semgrep-maintained rules excluded. Revision: c02fd4922b25ee005f42042463d741d236c2c35e. Raw findings: . Counted findings: .

Source and licence

Repository: https://github.com/michael-denyer/pstack-claude
Pinned skill file: View source at revision
Revision: c02fd4922b25ee005f42042463d741d236c2c35e
Package hash: sha256:edbf42c54a22d70d5556315a46e64c6b2802f359bebb37bc86ee6b55e3c33b02
Licence: MIT