vibe-types
claudeSkill indexes for Python, Rust, Scala 3, Lean 4, and TypeScript type system features and use-case patterns
7 skills
42
Plugin marketplace
Type system constraint guides — maps language features to the static guarantees they enforce
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Skill indexes for Python, Rust, Scala 3, Lean 4, and TypeScript type system features and use-case patterns
7 skills
Shows how many plugins this repo ships, and links here.