Agent Claude Code
Circom 2 circuit reviewer for Bolyra. Audits HumanUniqueness, Delegation, and AgentPolicy circuits for soundness, public-signal binding, constraint count efficiency, and Semaphore v4 ceremony reuse correctness. Use when modifying circuits, adding new circuits, or before regenerating zkeys.