Skip to main content
Back to all repositories
JP

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.

43stars3forks1watchers/subscribers1issues
Language
Python
License
Apache License 2.0
Size
3.1 MB
Created
Feb 9, 2026
Last Updated
Sep 4, 2026
Last Pushed
Aug 2, 2026

Available Plugins

Loading plugins...

Evaluate before installing

  1. Review the source repository, recent maintenance, and license on GitHub.
  2. Read the marketplace manifest and plugin source files before running commands.
  3. Start with the smallest required permission set and validate behavior in a safe environment.