zksecurity/zk-skills

ZKSecurity's open-source AI-skills for pre-auditing ZK circuits

10Stars on the repository
2Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

circom-auditor

01

zksecurity/zk-skills

Skill Claude CodeCodex

Audit Circom circuits for soundness, completeness, privacy, and constraint bugs. Use when the user asks to audit, review, check, or find vulnerabilities in Circom code, or when they ask to run circom-auditor on a repo or specific .circom files.

not rated 10 1mo ago A 63 tokens original MIT