.claude-plugin/marketplace.json

{
  "name": "mathbox",
  "owner": {
    "name": "Najib Idrissi-Kaïtouni",
    "url": "https://github.com/nidrissi"
  },
  "description": "The Mathbox plugin and its skills for rigorous AI-assisted mathematical research",
  "plugins": [
    {
      "name": "mathbox",
      "source": ".",
      "description": "Sustained mathematical research with versioned evidence and dependency tracking",
      "version": "3.2.0",
      "author": {
        "name": "Najib Idrissi-Kaïtouni",
        "url": "https://github.com/nidrissi"
      },
      "homepage": "https://github.com/nidrissi/mathbox",
      "repository": "https://github.com/nidrissi/mathbox",
      "license": "MIT",
      "category": "Research",
      "tags": [
        "mathematics",
        "research",
        "verification"
      ]
    }
  ]
}