Formally verify Sui Move smart contracts by writing specifications, running the Sui Prover tool, debugging verification failures, and interpreting proof results to ensure code safety.
npx claudepluginhub asymptotic-code/sui-prover --plugin sui-proverBlue-team release-gate skill for smart contract systems. Classifies projects, reviews deployment and upgrade execution paths, inspects CI/CD and dependency trust boundaries, evaluates signer/admin operational security, and produces evidence-based release blockers, warnings, and release verdicts.
Share bugs, ideas, or general feedback.
AI-powered smart contract security auditor with parallel hunt lanes, Devil's Advocate verification, static analysis (Slither, Aderyn), fuzz testing (Echidna, Medusa), symbolic execution (Halmos), Solodit intelligence, and interactive Map-Hunt-Attack methodology
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow covering 36 vulnerability classes.
Evidence-driven development pipeline with multi-model code review
Solidity static analyzer with AI-powered security skills for auditing and developing secure smart contracts