agentmods.dev

jpablo/vibe-types

Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.

Open on GitHub
41Stars on the repository
8Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

vibe-types

01

jpablo/vibe-types

Plugin Claude Code

Bundles 7 skills · 882 tokens together

Type system constraint guides for Python, Rust, Scala 3, Lean 4, and TypeScript — maps language features to the constraints they enforce at check/compile time.

not rated 41 +1 2mo ago A tokens not measured original Apache-2.0