{"name":"asymptotic-code-sui-prover","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"asymptotic-code-sui-prover","source":{"source":"github","repo":"asymptotic-code/sui-prover"},"description":"Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.","version":"0.1.0","strict":true,"keywords":[],"category":"deployment"}]}