The question was answered by Noah Snyder in the comments: No, $S^1$ is not contractible.

It connected, so any point in $S^1$ is merely equal to $base$.

To prove that $S^1$ is not contractible, you might try proving that the identity type $base = base$ is equivalent to $\mathbb Z$, e.g. via the encode-decode method.