Claude code plugin for vibe-coding circuits of programable cryptography (e.g., ZKPs) and their Lean proofs.
2 files for Codex, OpenCode and Claude Code: vibe-circuit AGENTS.md, vibe-circuit CLAUDE.md — 866 tokens loaded in every session.
AGENTS.md A 843 tok CLAUDE.md A 23 tok These files are SoraSuegami/vibe-circuit's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.