mcp.json

{
  "$schema": "https://agent-plugins.org/schemas/1.0.0/mcp.schema.json",
  "mcpServers": {
    "repertorium": {
      "type": "streamable-http",
      "url": "https://repertorium.matematicsolutions.com/connector",
      "extensions": {
        "com.openai": {
          "auth": {
            "type": "oauth",
            "client": {
              "mode": "dcr"
            },
            "baseScopes": ["mcp:read"]
          }
        }
      }
    }
  }
}