prover

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

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

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