Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

asymptotic-code

Profil créateur GitHub

asymptotic-code

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

github/asymptotic-code plus grand dépôt : sui-prover

skills collectés

1

dépôts

1

mis à jour

2026-02-20

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

1 skills · 2026-02-20

Développeurs de logiciels

1 catégories métier · 100% classifié

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills4210mis à jour 2026-02-20

100% du créateur

skill

métier

description

mis à jour

Développeurs de logiciels

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.

1 dépôts affichés sur 1

Tous les dépôts sont affichés

Exécutez n'importe quel Skill en un clic