# Folding Scheme Auditor

> Audit folding scheme and IVC implementations for accumulator soundness, step circuit binding, cycle-of-curves correctness, and running instance completeness. Use when reviewing Nova, HyperNova, ProtoStar, or custom folding-based proof systems in Rust.

- Skill: `yue-zhou1/folding-scheme-auditor` (Agent Skill)
- Install (CLI): `npx skillmds@latest add yue-zhou1/folding-scheme-auditor`
- Raw SKILL.md: https://api.skillmd.com/api/skills/yue-zhou1/folding-scheme-auditor/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: Yue-Zhou1 (https://skillmd.com/u/yue-zhou1)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/yue-zhou1/folding-scheme-auditor

---


This file is a Codex skill discovery stub.

Canonical skill source:
`plugins/zk-and-vm-auditors/skills/folding-scheme-auditor/SKILL.md`

When this skill is selected, follow the canonical source file above.