install com.axiomatic-ai/prover

pick your MCP client below. snippets, file paths and reload steps included.

source-only — no published npm / pypi package detected.
clone and follow the build instructions in the repo: github.com/Axiomatic-AI/ax-prover-base-mcp