Add math-olympiad plugin to marketplace

Fix imessage startup: regenerate bun.lock without internal registry URLs

.claude-plugin/marketplace.json

@@ -458,6 +458,16 @@
       },
       "homepage": "https://www.firetiger.com/"
     },
+    {
+      "name": "flint",
+      "description": "Build and manage websites with Flint's AI website builder through natural conversation.",
+      "source": {
+        "source": "url",
+        "url": "https://github.com/tryflint/claude-code-plugin.git",
+        "sha": "8f57ef474f59817c7e5930dd6c295232d43c3711"
+      },
+      "homepage": "https://www.tryflint.com/docs/claude-code-plugin"
+    },
     {
       "name": "followrabbit",
       "description": "Cloud cost optimization for GCP infrastructure. Review changes for cost impact and auto-apply savings recommendations using the followrabbit CLI.",
@@ -684,6 +694,17 @@
         }
       }
     },
+    {
+      "name": "math-olympiad",
+      "description": "Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.",
+      "author": {
+        "name": "Anthropic",
+        "email": "support@anthropic.com"
+      },
+      "source": "./plugins/math-olympiad",
+      "category": "productivity",
+      "homepage": "https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-olympiad"
+    },
     {
       "name": "mcp-server-dev",
       "description": "Skills for designing and building MCP servers that work seamlessly with Claude. Guides you through deployment models (remote HTTP, MCPB, local), tool design patterns, auth, and interactive MCP apps.",