Skip to content

Claude Skills by iktok90-design

github.com/iktok90-design

52 skillsA× 520 installs8 views

Vyper SpecificADetect Vyper-specific bug classes — compiler-version reentrancy bugs, raw_call return-value handling, send/raw_call gas defaults, immutables vs constants, default-bytes scope, msg.sender-based auth corner cases. Activate on any `.vy` file or `pragma version` directive.blockchaingoVotes: 0GitHub stars: 36
Zk Verifier BugsADetect ZK proof-verifier contract bugs — missing public-input binding (unconstrained input → forgery), proof malleability, BN254 field-element range checks (input >= field modulus), unchecked pairing/ecAdd/ecMul precompile returns, nullifier reuse / double-spend, verification-key upgradeability, and trusted-setup assumptions. Activate whenever a contract verifies a SNARK/STARK proof, calls the bn256/altbn128 precompiles, or consumes nullifiers.blockchainrustgoVotes: 0GitHub stars: 36

Claude Skills by iktok90-design — 52 skills, security-graded | Skills Directory