circom agents

5 tagged circom, measured the same way as everything else here.

Browse within: did 5eddsa 5groth16 5identity 5

circuit-auditor

01

bolyra/bolyra

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.

0 yesterday A 68 tokens original Apache-2.0

protocol-reviewer

02

bolyra/bolyra

Agent Claude Code

Bolyra protocol/spec reviewer. Audits the DID method, IETF draft, conformance test vectors, and on-chain registry semantics for internal consistency and external interop risk. Use when modifying anything in spec/, when proposing wire-format changes, or when integrating a new framework adapter in integrations/.

0 yesterday A 68 tokens original Apache-2.0

wiki-lint

03

bolyra/bolyra

Agent Claude Code

Health checks for the wiki. Finds stale pages, broken source links, coverage gaps, and metadata issues.

0 yesterday A 25 tokens original Apache-2.0