zksecurity

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.

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.

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.

Triage an Undecided verdict from a zkhydra zkbugs run. Given one bug's ground truth plus one tool's findings/raw/parsed output (optionally the circuit source at the bug's location), promote to TruePositive or FalseNegative with a justification, or confirm…

Read and share Markdown notes via VibeNote (git-native notes on GitHub repos). Use when someone shares a vibenote.dev link, or when you need to create/manage shared note links.

Control a zkao security-audit project programmatically: list repositories, list/launch/poll scans, list and read findings, triage findings (comment, change severity, change resolution status, pin a note), read and update a repository's guidance, check the…