occupation
Software Developers
description
Check a Move package for compilation errors
updated
aptos-labs/aptos-ai
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 7
- GitHub stars
- 0
- GitHub forks
- 0
Loading the repository README…
Skills in this repository
2 occupation categories · 100% classified
Showing 7 of 7 collected skills.
skill
occupation
description
updated
occupation
Software Developers
description
Run the Move Prover to formally verify specifications
updated
occupation
Software Developers
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.
updated
occupation
Software Developers
description
Move development on Aptos
updated
occupation
Software Quality Assurance Analysts & Testers
description
Generate unit tests for Move code. Use for test generation, writing tests, or improving coverage.
updated
occupation
Software Developers
description
Infer specifications for a Move package
updated
occupation
Software Developers
description
Initialize Move workflow routing in the project CLAUDE.md
updated
Showing 7 of 7 collected skills.
Install with an AI assistant
Copy this prompt into the AI assistant you're using.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/aptos-labs/aptos-ai.