audithub skills

16 tagged audithub, measured the same way as everything else here.

Browse within: blockchain-security 16fuzzing 16

Veridise/audithub-skills

Skill Claude CodeCodex

Generate best-effort DeFi Vanguard custom detectors from English security invariants for Solidity projects. Use when the user provides invariant lists, properties, protocol rules, assumptions, or expected behaviors and wants them converted into PAQL or Detector.register Luau detectors, usually one detector per…

23 13d ago A 93 tokens

Veridise/audithub-skills

Skill Claude CodeCodex

Coordinate full or multi-stage AuditHub OrCa fuzzing campaigns for Solidity projects. Use when a user asks to run an autonomous OrCa campaign, plan and execute setup/tuning/spec/long-run loops, resume an OrCa campaign, or coordinate target selection, deployment setup, smoke runs, callmetrics.json analysis, tuning, [V]…

23 13d ago A 89 tokens

Veridise/audithub-skills

Skill Claude CodeCodex

Prepare live-state OrCa campaign inputs for deployed Solidity contracts. Use when a campaign will fuzz on-chain state, needs chain/block/address/name/ABI data, needs Etherscan or explorer ABI handling, needs proxy implementation ABI resolution, or needs on-chain deployment JSON validation.

23 13d ago A 63 tokens