Plugin marketplace

vibe-verify-marketplace

Testing and verification guides — the ladder of evidence from types and formal models to property tests, fuzzing, and examples

0 · jpablo/vibe-verify1 pluginApache-2.0updated 2 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

vibe-verify

claude

Skill indexes for Python, Rust, TypeScript, Scala 3, Lean 4, and Quint verification techniques and use-case patterns

6 skills

0

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted