Update to Mathbox

{
  "canonical_app_id": null,
  "connector_id": null,
  "created_at": "2026-08-28T11:50:58.195095Z",
  "discoverability": "LISTED",
  "id": "plugins_6a9174204a0481918ca3798d69d2e227",
  "is_template": false,
  "is_template_instance": false,
  "name": "mathbox",
  "release": {
    "app_ids": [],
    "app_manifest": null,
    "app_templates": [],
    "description": "Sustained mathematical research with auditable claims, dependencies and reproducible experiments",
    "display_name": "Mathbox",
    "id": "pluginrel_9ee9a1b9be688191b2ebba80c73333ba",
    "interface": {
      "brand_color": "#0F172A",
      "capabilities": [
        "Interactive",
        "Read",
        "Write"
      ],
      "category": "Education & Research",
      "composer_icon_dark_url": null,
      "composer_icon_url": "https://files.openai.com/content?id=file_00000000a1a48210b9fe8c1e8b69724d",
      "default_prompt": "Pursue this conjecture through distinct proof and counterexample routes.",
      "default_prompts": [
        "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."
      ],
      "developer_name": "Najib Idrissi-Kaïtouni",
      "logo_url": "https://files.openai.com/content?id=file_0000000093948210ac514da022c79e29",
      "logo_url_dark": null,
      "long_description": "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.",
      "plugin_category_id": "education & research",
      "privacy_policy_url": null,
      "screenshot_urls": [],
      "short_description": "Rigorous AI-assisted research",
      "terms_of_service_url": null,
      "website_url": "https://github.com/nidrissi/mathbox"
    },
    "keywords": [
      "mathematics",
      "research",
      "proof-audit",
      "literature",
      "latex",
      "referee"
    ],
    "mcp_servers": [],
    "onboarding_skill_name": null,
    "requires_local_executor": false,
    "skills": [
      {
        "description": "Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested range, reproducibility, or interpretation matters. Includes symbolic, exact, finite-field, representation-theoretic, homological and numerical experiments. Do not use to verify a cited theorem, audit a proof with no load-bearing computation, pursue a whole research route, or for general programming.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:computation-audit to validate this mathematical computation and its scope.",
          "display_name": "Mathbox: Computation Audit",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "chart",
          "short_description": "Audit claim-supporting mathematical computation"
        },
        "name": "computation-audit",
        "plugin_release_skill_id": "pluginrsk_6abfb613aba481918510552be1403673"
      },
      {
        "description": "Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation translation, source-dependent implication, attribution, or a bounded novelty claim; cache authenticated sources for reuse. Use when a proof relies on a named result, the user asks whether a claim is known, or to cache a source. Do not use to audit internal proof logic, attack an implication, format bibliographies, or insert citations into a manuscript.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:literature-check to verify the exact source, hypotheses, and implication.",
          "display_name": "Mathbox: Literature Check",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "search",
          "short_description": "Verify or cache a mathematical source"
        },
        "name": "literature-check",
        "plugin_release_skill_id": "pluginrsk_6abfb612d2cc8191a3c7a2dfafdad444"
      },
      {
        "description": "Integrate an already validated mathematical result, correction, citation, or response to referee comments into an authoritative LaTeX manuscript while preserving hypotheses, evidence status, notation, and dependencies. Use only when the user explicitly requests manuscript integration. Do not use to invent a proof or to perform routine copyediting.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:manuscript-integrate to transfer this validated result into the live manuscript.",
          "display_name": "Mathbox: Manuscript Integrate",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "pdf",
          "short_description": "Integrate validated mathematics into LaTeX"
        },
        "name": "manuscript-integrate",
        "plugin_release_skill_id": "pluginrsk_6abfb611466481919dd37763a3211d2d"
      },
      {
        "description": "Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness. Use to verify, check, stress-test, type-check or find gaps in a single claim, proof or dependency. Do not use for a whole-manuscript referee report, inventing a substantially new proof route, or merely copyediting prose.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:proof-audit to stress-test this claim and isolate the exact gap.",
          "display_name": "Mathbox: Proof Audit",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "search",
          "short_description": "Adversarially audit a mathematical proof"
        },
        "name": "proof-audit",
        "plugin_release_skill_id": "pluginrsk_6abfb610f5c4819184196cb11d12c0ee"
      },
      {
        "description": "Conservatively proofread mathematical prose and LaTeX for grammar, typography, syntax, notation consistency, cross-references, and uniquely forced local mathematical typos. Use for explicit math-proofreading requests and final self-review of theorem-, proof-, or equation-heavy edits. Not for correctness audits, referee reports, or source verification.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:proofread-math to proofread this mathematical LaTeX conservatively.",
          "display_name": "Mathbox: Proofread Mathematics",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "pen",
          "short_description": "Conservative proofreading for mathematical LaTeX"
        },
        "name": "proofread-math",
        "plugin_release_skill_id": "pluginrsk_6abfb6114a2481918abdf29a98775e65"
      },
      {
        "description": "Referee a whole mathematical manuscript for correctness, edge cases, notation, exposition and claim calibration. Use for a referee report, whole-paper stress test, or section-by-section manuscript audit. Do not use for a focused claim or proof audit, proofreading alone, a standalone citation or computation check, answering referee comments on one's own paper, or developing new proofs.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:referee to assess this entire manuscript and produce a calibrated referee report.",
          "display_name": "Mathbox: Referee",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "default",
          "short_description": "Review a whole manuscript and reconcile findings"
        },
        "name": "referee",
        "plugin_release_skill_id": "pluginrsk_6abfb615239881918fb156db96bf80bf"
      },
      {
        "description": "Run one bounded, auditable mathematical research route: a proof attempt, reduction, counterexample search, or a computational or source-based attack. Use when the user explicitly asks to attack a research question or invokes this skill. Do not use to audit an existing proof, computation or source alone, or for a sustained multi-route investigation that continues after failed approaches, routine editing, explanation, or an unchanged verification rerun.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:research-attempt to pursue one bounded, auditable mathematical route.",
          "display_name": "Mathbox: Research Attempt",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "code",
          "short_description": "Run one bounded mathematical research route"
        },
        "name": "research-attempt",
        "plugin_release_skill_id": "pluginrsk_6abfb61239708191adaa4ace76906a0b"
      },
      {
        "description": "Set up, plan a retrofit of, substantially revise, or migrate an AI-assisted mathematical research repository's agent architecture: AGENTS.md, CLAUDE.md, live status/history, workflow files and their authority structure, including moving a flat research log into program indexes. Use only on an explicit request. Do not use for an ordinary research attempt, closing out one named program or phase, or a read-only project retrospective.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:research-init to inspect and configure this mathematical research repository.",
          "display_name": "Mathbox: Research Init",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "hierarchy",
          "short_description": "Configure a mathematical research repository"
        },
        "name": "research-init",
        "plugin_release_skill_id": "pluginrsk_6abfb61344f48191a82aa59a36821dfc"
      },
      {
        "description": "Pursue a substantial mathematical goal across multiple proof, counterexample, literature and computational routes, or close out one named program or phase by compacting its live status and history. Use for sustained investigation, several approaches, continuing after failed routes until a goal is reached, or an authorized program/phase closeout. Do not use for a single bounded attempt, explanation, proofreading, a read-only project retrospective, or migrating instructions or a flat research log into program indexes.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:research-program to pursue this research goal through distinct routes, preserving evidence and continuing after failed attempts.",
          "display_name": "Mathbox: Research Program",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "code",
          "short_description": "Pursue routes or close out a research program"
        },
        "name": "research-program",
        "plugin_release_skill_id": "pluginrsk_6abfb6127d1c8191a302fe63fe5f1601"
      },
      {
        "description": "Reconcile a mathematical research repository's current claims, proofs, computations, status, literature dependencies, and failed routes, then recommend the next bounded research moves. Use only when the user asks for a project review, weekly/monthly retrospective, prioritization, a prose project handoff, or “what should I do next?”. Do not use to write a program closeout, migrate research history, operate a .mathbox ledger, or generate its dependency-aware handoff. Default to read-only.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:research-retrospective to review this mathematics project and prioritize the next bounded routes.",
          "display_name": "Mathbox: Research Retrospective",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "chart",
          "short_description": "Reconcile project state and choose next routes"
        },
        "name": "research-retrospective",
        "plugin_release_skill_id": "pluginrsk_6abfb611eba081919fc5dd5eb1b187dd"
      },
      {
        "description": "Read or update a local append-only .mathbox ledger of exact claims, evidence revisions, dependency impact, review provenance, routes and parallel or delayed runs. Use when the user asks to set up, check, record in or reconcile such a ledger, detect stale evidence, or generate its dependency-aware handoff. Do not use merely because a ledger exists, for a casual math question, as a substitute for proof auditing, or for a prose retrospective from status files.",
        "interface": {
          "brand_color": null,
          "default_prompt": "Use $mathbox:research-state to check this project’s claim dependencies, stale evidence, route executions and the recorded goal handoff.",
          "display_name": "Mathbox: Research State",
          "icon_large_url": null,
          "icon_small_url": null,
          "iconography": "hierarchy",
          "short_description": "Track evidence, dependencies and research runs"
        },
        "name": "research-state",
        "plugin_release_skill_id": "pluginrsk_6abfb6145df08191b99bcff7fd1030d2"
      }
    ],
    "version": "4.0.0"
  },
  "scope": "GLOBAL",
  "share_url": "https://chatgpt.com/plugins/plugins_6a9174204a0481918ca3798d69d2e227?open_in_app",
  "status": "ENABLED"
}