From 814f194830a1ddd5ae400549175743b923556c7c Mon Sep 17 00:00:00 2001
From: Patrick Cowland <patrickcowland@pingidentity.com>
Date: Fri, 12 Jun 2026 14:13:25 +0100
Subject: [PATCH] feat: add Antigravity CLI plugin.json and mcp_config.json

Adds the required plugin marker and optional MCP server config for
Antigravity CLI compatibility under plugins/ping-identity/.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 plugins/ping-identity/mcp_config.json | 18 ++++++++++++++++++
 plugins/ping-identity/plugin.json     | 11 +++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 plugins/ping-identity/mcp_config.json
 create mode 100644 plugins/ping-identity/plugin.json

diff --git a/plugins/ping-identity/mcp_config.json b/plugins/ping-identity/mcp_config.json
new file mode 100644
index 0000000..c7f93c4
--- /dev/null
+++ b/plugins/ping-identity/mcp_config.json
@@ -0,0 +1,18 @@
+{
+  "mcpServers": {
+    "aic": {
+      "command": "npx",
+      "args": ["-y", "@ping-identity/aic-mcp-server"],
+      "env": {
+        "AIC_BASE_URL": "${user_config.aic_base_url}"
+      }
+    },
+    "davinci": {
+      "command": "npx",
+      "args": ["-y", "@ping-identity/davinci-mcp-server", "start"],
+      "env": {
+        "DAVINCI_MCP_ENVIRONMENT_ID": "${user_config.davinci_environment_id}"
+      }
+    }
+  }
+}
diff --git a/plugins/ping-identity/plugin.json b/plugins/ping-identity/plugin.json
new file mode 100644
index 0000000..ba9406d
--- /dev/null
+++ b/plugins/ping-identity/plugin.json
@@ -0,0 +1,11 @@
+{
+  "name": "ping-identity",
+  "version": "1.0.0",
+  "description": "Agent plugin for Ping Identity — teach the Antigravity CLI how to build with Ping Identity.",
+  "author": {
+    "name": "Ping Identity",
+    "email": "devex@pingidentity.com"
+  },
+  "skills": "./skills/",
+  "mcpServers": "./mcp_config.json"
+}