aptos-labs/aptos-ai

move-check

Check a Move package for compilation errors

لغة النص الأصلي: الإنجليزية

move-prove

Run the Move Prover to formally verify specifications

لغة النص الأصلي: الإنجليزية

move-replay

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.

لغة النص الأصلي: الإنجليزية

move

Move development on Aptos

لغة النص الأصلي: الإنجليزية

move-test

Generate unit tests for Move code. Use for test generation, writing tests, or improving coverage.

لغة النص الأصلي: الإنجليزية

move-inf

Infer specifications for a Move package

لغة النص الأصلي: الإنجليزية

move-init

Initialize Move workflow routing in the project CLAUDE.md

لغة النص الأصلي: الإنجليزية