sui-prover

sui-prover contém 1 skills coletadas de asymptotic-code, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de asymptotic-code Ver no GitHub

skills coletadas

Stars

atualizado

2026-02-20

Forks

Cobertura ocupacional

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

explorador de repositórios

Skills neste repositório

criador/repositório/skill

skill

ocupação

descrição

atualizado

sui-prover

Desenvolvedores de software

Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.

2026-02-20