zksecurity/zk-skills

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

This repository also configures its own agents. See what zk-skills tells them →

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

circom-auditor

01

zksecurity/zk-skills

Skill Codex

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 12 2mo ago A 63 tokens original MIT