Plugin Claude Code
Plugin marketplace listing 1 plugin: vibe-types.
42 1mo ago A
tokens not measured
original Apache-2.0
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.
Plugin Claude Code
Plugin marketplace listing 1 plugin: vibe-types.
Plugin Claude Code
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.