Instructions file CodexOpenCode
AGENTS.md instructions for SoraSuegami/vibe-circuit, covering vibe circuit agent guide, global rules, required reading order, document index and context discipline.
not rated 4 5mo ago A 843 tokens
Claude code plugin for vibe-coding circuits of programable cryptography (e.g., ZKPs) and their Lean proofs.
Instructions file CodexOpenCode
AGENTS.md instructions for SoraSuegami/vibe-circuit, covering vibe circuit agent guide, global rules, required reading order, document index and context discipline.
Instructions file
Claude Code instructions for SoraSuegami/vibe-circuit: Follow AGENTS.md as the authoritative operator guide for this repository.