A computable metric space $(X, d)$ is computably categorical if every two effective separating sequences in $(X, d)$ are equivalent up to isometry. We investigate computable categoricity of effectively compact metric spaces. We prove that every effectively compact metric space whose isometry group has computable type is computably categorical. Using this result, we prove that every effectively compact subspace of $\mathbb{R}^n$ is computably categorical.