AtpClient is an Elixir client library for external automated theorem provers. Through a uniform interface it connects to multiple backends — SystemOnTPTP, StarExec, Isabelle, and locally installed TPTP-compliant provers (LocalExec) — and normalises their results to standardised SZS status verdicts (e.g. :theorem, :satisfiable), enabling straightforward cross-prover comparison.