# Onchain Verifier Auditor

> Audit Solidity, Vyper, or Huff proof-verifier contracts for pairing precompile misuse, missing scalar-field checks on public inputs, calldata decoding errors, and verification-key provenance or upgrade risks. Use when reviewing on-chain SNARK/STARK verifier contracts or EIP-196/197/2537 precompile call sites.

- Skill: `yue-zhou1/onchain-verifier-auditor` (Agent Skill)
- Install (CLI): `npx skillmds@latest add yue-zhou1/onchain-verifier-auditor`
- Raw SKILL.md: https://api.skillmd.com/api/skills/yue-zhou1/onchain-verifier-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/onchain-verifier-auditor

---


This file is a Codex skill discovery stub.

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

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