저장소 README를 불러오는 중…
수집된 skill 6개 중 6개를 표시합니다.
Use when rebasing a branch that modifies the Aptos Move framework and git reports merge conflicts in cached-packages artifacts (`head.mrb` or generated SDK builder `.rs` files under `aptos-move/framework/cached-packages/src/`). Also use when a rebase stops on…
원문 언어: 영어
Use when cutting or preparing a new Aptos CLI release, bumping the `aptos` crate version, or editing `crates/aptos/CHANGELOG.md` for a release
원문 언어: 영어
Check a Move package for compilation errors
원문 언어: 영어
Infer specifications for a Move package
원문 언어: 영어
Run the Move Prover to formally verify specifications
원문 언어: 영어
Move development on Aptos
원문 언어: 영어
이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/aptos-labs/aptos-core.README를 불러오지 못했습니다. 아래의 저장소 Skill 목록은 계속 이용할 수 있습니다.