Stats
Actions
Tags
From sui-prover
Assists with formal verification of Sui Move smart contracts using the Sui Prover. Useful for ensuring contract correctness and security.
How this skill is triggered — by the user, by Claude, or both
Slash command
/sui-prover:sui-proverThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
../../.claude/skills/sui-prover/SKILL.md
../../.claude/skills/sui-prover/SKILL.md
npx claudepluginhub asymptotic-code/sui-prover --plugin sui-proverOrchestrates interactive Solidity smart contract security audits using Map-Hunt-Attack methodology: static analysis (Slither, Aderyn), fuzzing (Echidna, Medusa, Halmos), verification, and reporting.
Audits EVM smart contracts for security vulnerabilities using 500+ checklist items across 19 domains via parallel sub-agents; synthesizes findings and files GitHub issues.
Provides Solidity smart contract security best practices, vulnerability prevention, and secure patterns for writing, auditing, DeFi protocols, and preventing reentrancy, overflows, access issues.