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
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 7
- Étoiles GitHub
- 0
- Forks GitHub
- 0
Chargement du README du dépôt…
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.
Installer avec un assistant IA
Copiez ce prompt dans l’assistant IA que vous utilisez.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/aptos-labs/aptos-ai.