Servers›com.axiomatic-ai/prover
P

com.axiomatic-ai/prover✓

com.axiomatic-ai/prover · v0.1.0
● Remote
v0.1.0▦ remote🌐 https://prover.axiomatic-ai.com/mcp/↗ Repository
ⓘOverview</>Integrate{}server.json
</>Install in any client

One CLI for five MCP hosts. Pick your client on the right — the right config file is written for you, and we tell you how to reload.

$ indusmcp install com.axiomatic-ai/prover --client claude-code
Managed by `claude mcp add -s user`
Picked up on next `claude` session — no restart needed.