zksecurity

zksecurity/zkbugs

Skill Claude CodeCodex

Extract ZK circuit bugs from an audit report PDF and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs.

zksecurity/zkbugs

Skill Claude CodeCodex

Extract ZK circuit bugs from a GitHub issue or pull request and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs.

zksecurity/zkbugs

Instructions file CodexOpenCode

Instructions for zksecurity/zkbugs, covering repository guidelines, project structure & module organization, build, test, and development commands, coding style & naming conventions and testing guidelines.

zksecurity/leanPython

Instructions file

Claude Code instructions for zksecurity/leanPython, covering leanpython, build commands, project structure, code style and development plan.

zksecurity/zk-skills

Instructions file

Instructions for zksecurity/zk-skills, covering claude.md, what this repo is, structure and rules.

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.