.codex-plugin/plugin.json

{
  "name": "mathbox",
  "version": "4.0.0",
  "description": "Sustained mathematical research with auditable claims, dependencies and reproducible experiments",
  "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",
  "keywords": [
    "mathematics",
    "research",
    "proof-audit",
    "literature",
    "latex",
    "referee"
  ],
  "skills": "./skills/",
  "interface": {
    "displayName": "Mathbox",
    "shortDescription": "Rigorous AI-assisted research",
    "longDescription": "Pursue research goals across distinct routes, track claim revisions and evidence dependencies, referee manuscripts, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.",
    "developerName": "Najib Idrissi-Kaïtouni",
    "category": "Education & Research",
    "capabilities": [
      "Interactive",
      "Read",
      "Write"
    ],
    "websiteURL": "https://github.com/nidrissi/mathbox",
    "brandColor": "#0F172A",
    "composerIcon": "./assets/mathbox.svg",
    "logo": "./assets/mathbox.svg",
    "defaultPrompt": [
      "Pursue this conjecture through distinct proof and counterexample routes.",
      "Check which claims depend on this lemma and which evidence is stale.",
      "Audit this proof and isolate the first unproved implication."
    ]
  }
}