From sui-prover
Formally verifies Sui smart contracts using the Sui Prover tool for Move code. Activates for Sui development, prover usage, or contract safety checks.
npx claudepluginhub asymptotic-code/sui-prover --plugin sui-proverThis skill uses the workspace's default tool permissions.
../../.claude/skills/sui-prover/SKILL.md
Audits Move contracts for security vulnerabilities using 7-category checklist: access control, input validation, object safety, reference safety, arithmetic safety, generic type safety, testing. Use before deployment.
Orchestrates 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 vulnerabilities using 20+ specialized checklists across domains like DeFi, ERC20, proxies via parallel sub-agents. Synthesizes findings and files GitHub issues.
Share bugs, ideas, or general feedback.
../../.claude/skills/sui-prover/SKILL.md