métier
Développeurs de logiciels
description
Check a Move package for compilation errors
Langue du texte source : anglais
mis à jour
aptos-labs/aptos-ai
SkillsMP a collecté 7 skills depuis aptos-labs/aptos-ai. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 7
- Étoiles GitHub
- 0
- Forks GitHub
- 0
Skills dans ce dépôt
2 catégories métier · 100% classifié
Affichage de 7 skills collectés sur 7.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Run the Move Prover to formally verify specifications
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Replay a committed on-chain Aptos transaction locally to debug its outcome. Use when investigating a failed or unexpected transaction, reproducing an abort, or testing a local Move patch against a historical transaction.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Move development on Aptos
Langue du texte source : anglais
mis à jour
métier
Analystes en assurance qualité des logiciels et testeurs
description
Generate unit tests for Move code. Use for test generation, writing tests, or improving coverage.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Infer specifications for a Move package
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Initialize Move workflow routing in the project CLAUDE.md
Langue du texte source : anglais
mis à jour
Affichage de 7 skills collectés sur 7.