This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/gnark-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Gnark Auditor
Audit gnark circuits and Go witness pipelines for frontend/backend mismatch, public/private witness exposure, constraint API misuse, and serialization boundary errors.
Yue-Zhou1
Updated Gnark Auditor by Yue-Zhou1 · 172fa51
npx skillmds@latest add yue-zhou1/gnark-auditor File contents
---name: gnark-auditordescription: Audit gnark circuits and Go witness pipelines for frontend/backend mismatch, public/private witness exposure, constraint API misuse, and serialization boundary errors.---This file is a Codex skill discovery stub.Canonical skill source:`plugins/zk-and-vm-auditors/skills/gnark-auditor/SKILL.md`When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/gnark-auditor commit 172fa51e9f
Frequently asked questions
Run npx skillmds@latest add yue-zhou1/gnark-auditor in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.
Audit gnark circuits and Go witness pipelines for frontend/backend mismatch, public/private witness exposure, constraint API misuse, and serialization boundary errors. It is listed under Web & Frontend on SkillMD.
This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.
This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.
Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.
Yue-Zhou1 (@yue-zhou1) published this skill. Their other Agent Skills are listed on their SkillMD profile.