jpablo
2 repositories with Claude Code or Codex plugins.
- vibe-types-marketplace42
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.
1 plugin · jpablo/vibe-types
- vibe-verify-marketplace0
Testing and verification guides — the ladder of evidence from types and formal models to property tests, fuzzing, and examples
1 plugin · jpablo/vibe-verify