Formal verification for Sui Move smart contracts
npx claudepluginhub asymptotic-code/sui-proverFormal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
No description available.
RuFlo Marketplace: Claude Code native agents, swarms, workers, and MCP tools for continuous software engineering
Claude Code marketplace entries for the plugin-safe Antigravity Awesome Skills library and its compatible editorial bundles.
Share bugs, ideas, or general feedback.