Prover

Connect Remote server

claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/

{
  "mcpServers": {
    "prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

{
  "servers": {
    "prover": {
      "type": "http",
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://prover.axiomatic-ai.com/mcp/

Tools

This server asks for a key before it lists its tools. Connect it with your own key to see them.

Details

More other servers See all

• SalaryNet Payroll

  Gross-to-net pay and employer cost for US, PH, NG, ID, IN, BR, KE, VN with official sources.

• Auto Öz

  Auto Öz: Kontakt, Standorte, Öffnungszeiten, Leistungen und Angebote, Freie Termine, Termin…

• CGC Airport Transfers

  Fixed-price quotes and bookings for private airport transfers: Gold Coast, Brisbane, Byron Bay.

• Coral

  Private, non-explicit intimacy exercises, scripts and a couples quiz for adults 18+.

• Business valuation calculator

  Estimates what a buyer might pay for a small agency, service or SaaS business, in US dollars.

• BuildYourWolfpack

  Roast-to-order coffee with a game built in: missions, Pack Points, and your own wolf pack.