smart contract audit skills

54 tagged smart contract audit, measured the same way as everything else here.

Browse within: aptos 51ethereum 51security-audit 51

ability-analysis

01

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents.

281 +2 1mo ago A 25 tokens original MIT

cross-chain-timing

02

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern wormhole|layerzero|ccip|bridge|crosschain|vaa|guardian|emitter|relay|remotechain|payload|nonce.sequence - Inject Into Breadth agents, depth-external.

281 +2 1mo ago A 47 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

L1 trigger - detects non-determinism, state transition completeness violations, and safety/liveness invariant breaks in consensus code. Inject into depth-consensus-invariant or depth-state-trace.

281 +2 1mo ago A 45 tokens original MIT

panther-audit

04

pantheraudits/web3-sec-ai-prompts

Skill Claude CodeCodex

Automated smart contract security audit pipeline. Auto-detects codebase size and scales accordingly — standard mode for small codebases, chunk mode with persistent state for large ones. Runs context building, dual-expert review, adversarial triage, and structured reporting. Use when auditing smart contracts, reviewing…

20 5mo ago A 94 tokens

safe-solana-builder

05

pantheraudits/web3-sec-ai-prompts

Skill Claude CodeCodex

Generates production-grade, secure Solana programs with full project scaffolds, test skeletons, and security checklists. Supports Anchor, Native Rust, and Pinocchio frameworks. Use when the user asks to write, build, or scaffold a Solana program, smart contract, or on-chain program.

20 5mo ago A 66 tokens