SoraSuegami/vibe-circuit

Claude code plugin for vibe-coding circuits of programable cryptography (e.g., ZKPs) and their Lean proofs.

This repository also configures its own agents. See what vibe-circuit tells them →

4Stars on the repository

8Mods indexed here, across every type

7mo agoLast push, which is what freshness is scored on

Plugin Claude Code

Command-based Claude Code plugin for vibe circuit workflows.

not rated 4 7mo ago A tokens not measured