Skills
.Work. You
Rest

sui-prover

Official

Automate smart contract verification on Sui blockchain, with precision.

Software Engineering#debugging#verification#formal methods#sui blockchain#move smart contracts
Authorasymptotic-code
Version1.0.0
Installs0

System Documentation

What problem does it solve?

The Sui Prover Skill streamlines the verification process of Move smart contracts on the Sui blockchain, reducing the complexity and time associated with formal verification.

Core Features & Use Cases

  • Contract Verification: Automatically verify Move smart contracts with high precision.
  • Specification Writing: Assist in writing specifications for contract verification.
  • Debugging: Offer tools to debug verification failures efficiently.
  • Use Case: Imagine you need to ensure the integrity of a liquidity pool contract on the Sui blockchain. This Skill allows you to programmatically verify the contract's functionality and behavior, saving time and resources compared to manual verification.

Quick Start

Verify the smart contract 'my_contract.move' using the Sui Prover Skill.

Dependency Matrix

Required Modules

sui-proverz3boogie

Components

scriptsreferencesassets

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: sui-prover
Download link: https://github.com/asymptotic-code/sui-prover/archive/main.zip#sui-prover

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.