.codex-plugin/plugin.json

{
  "author": {
    "name": "Najib Idrissi-Ka\u00eftouni",
    "url": "https://github.com/nidrissi"
  },
  "description": "Sustained mathematical research with auditable claims, dependencies and reproducible experiments",
  "homepage": "https://github.com/nidrissi/mathbox",
  "interface": {
    "brandColor": "#0F172A",
    "brandColorDark": "#D5DDF0",
    "capabilities": [
      "Interactive",
      "Read",
      "Write"
    ],
    "category": "Education & Research",
    "composerIcon": "./.codex-plugin/assets/composer-icon.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."
    ],
    "developerName": "Najib Idrissi-Ka\u00eftouni",
    "displayName": "Mathbox",
    "logo": "./.codex-plugin/assets/logo.svg",
    "longDescription": "Pursue research goals across distinct routes, track exact claim revisions and evidence dependencies, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.",
    "shortDescription": "Rigorous AI-assisted research",
    "websiteURL": "https://github.com/nidrissi/mathbox"
  },
  "keywords": [
    "mathematics",
    "research",
    "proof-audit",
    "literature",
    "latex"
  ],
  "license": "MIT",
  "name": "mathbox",
  "repository": "https://github.com/nidrissi/mathbox",
  "skills": "./skills/",
  "version": "3.2.0"
}