{"id":4521,"external_id":"plugins_6a9174204a0481918ca3798d69d2e227","name":"mathbox","display_name":"Mathbox","developer":"Najib Idrissi-Kaïtouni","category":"Education & Research","listing_language":"en","listing_language_details":{"method":"cld-0.13.0/listing-v1","reliable":true,"detected_at":"2026-10-01T13:22:04Z","input_sha256":"5a2fec2ed078f2a0c77037770d87ccb7369abf402c4474215fe1de6ef1254139","source_fields":["release.description","release.interface.short_description","release.interface.long_description"]},"version":"3.2.0","skill_count":10,"first_seen_at":"2026-09-30T22:02:35.000Z","last_seen_at":"2026-10-03T18:00:01.200Z","last_changed_at":"2026-09-30T22:02:35.000Z","install_count":null,"search_matches":[],"research_summary":null,"research_reviewed_at":null,"metadata":{"canonical_app_id":null,"connector_id":null,"created_at":"2026-08-28T11:50:58.195095Z","discoverability":"UNLISTED","id":"plugins_6a9174204a0481918ca3798d69d2e227","is_template":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_8d6d2f06f51481919024256b2015d67c","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_0000000084508243807d34605ed07d53","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_00000000ac6882068b7f2770af1272f1","logo_url_dark":null,"long_description":"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.","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"],"onboarding_skill_name":null,"requires_local_executor":false,"skills":[{"description":"Design, run, or audit a mathematical computation that supports a research claim, including symbolic, exact, finite-field, representation-theoretic, homological, or numerical experiments. Use when correctness, provenance, tested range, reproducibility, or interpretation matters. Do not present bounded output as a universal proof.","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_6ab5331e538c819191d39c645b182418"},{"description":"Verify an external mathematical theorem, citation, notation translation, source-dependent implication, or bounded novelty claim, reusing authorized project-local source copies when available. Use when a proof relies on a named paper/result, when exact hypotheses or versions matter, when the user asks whether a claim is known, or when an authenticated mathematical source should be cached for later checks. Prefer primary sources and record the search scope. Do not treat snippets or failed searches as proof or global novelty.","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_6ab5331d06688191a8a82e5ed9109a5e"},{"description":"Integrate an already validated mathematical result, correction, citation, or referee response 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_6ab5331df61881918b1601a28524f3eb"},{"description":"Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness. Use for requests to verify, referee, stress-test, type-check, find gaps, or isolate the exact remaining implication. Default to read-only. Do not use to invent a substantially new proof route or merely copyedit 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":"code","short_description":"Adversarially audit a mathematical proof"},"name":"proof-audit","plugin_release_skill_id":"pluginrsk_6ab5331c7a788191acd60ce8af8c1e09"},{"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. Do not invent, replace, shorten, or substantively repair proofs.","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_6ab5331e4d8c8191ad528d92e9c64841"},{"description":"Run one bounded, auditable mathematical research route: a proof attempt, reduction, counterexample search, source-dependent implication, or claim-supporting computation. Use when the user explicitly asks to attack a research question or invokes this skill. Do not use 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":"search","short_description":"Run one bounded mathematical research route"},"name":"research-attempt","plugin_release_skill_id":"pluginrsk_6ab5331bb9108191b7e49978270d0540"},{"description":"Initialize or migrate an AI-assisted mathematical research repository's agent architecture. Use only when the user explicitly asks to set up, plan a retrofit, or substantially revise AGENTS.md, CLAUDE.md, live research status/history, workflow files, or their authority structure, including migrating a flat research log across programs into program indexes. Inspect first, propose a reviewable file plan, and default to no repository-local skills. Do not use for an ordinary research attempt, a closeout of 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_6ab5331cdbb08191ac3789a606d219d0"},{"description":"Pursue or close out a substantial mathematical research program across multiple proof, counterexample, literature, and computational routes. Use when the user asks for sustained investigation, several approaches, continuation until a goal is reached, or an authorized closeout of one named program or phase that compacts its live status and history. Coordinate successive attempts and preserve their evidence. Do not use for a single bounded lemma attempt, ordinary explanation, proofreading, a read-only project retrospective, or a repository-wide migration of 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":"hierarchy","short_description":"Pursue a goal across multiple research routes"},"name":"research-program","plugin_release_skill_id":"pluginrsk_6ab5331ce98481918de432a7b2f40b41"},{"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_6ab5331babbc819184185aec634494ab"},{"description":"Track exact mathematical claims, evidence revisions, dependency impact, audit provenance, research routes, and parallel or delayed executions in a local append-only ledger. Use when a project has a .mathbox ledger or the user asks for executable research-state tracking, stale-evidence detection, run reconciliation, or a dependency-aware handoff generated from recorded events. Do not initialize state for a casual math question, replace proof auditing with metadata validation, or write a prose project 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 next research routes.","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_6ab5331e907881918fd7d7022981996f"}],"version":"3.2.0"},"scope":"GLOBAL","status":"ENABLED"},"research":null,"package_metadata":{"name":"mathbox","author":{"url":"https://github.com/nidrissi","name":"Najib Idrissi-Kaïtouni"},"license":"MIT","sources":[{"path":".codex-plugin/plugin.json","sha256":"de278e6000f618f8d8d507bda462f03928e9a6de65d6c48ed576b5e1e17db9aa"},{"path":".claude-plugin/plugin.json","sha256":"a3ed8efe3a9a6694096f279a4e31f458bf019e0a4064562e72b024216b143766"}],"version":"3.2.0","homepage":"https://github.com/nidrissi/mathbox","keywords":["mathematics","research","proof-audit","literature","latex"],"repository":"https://github.com/nidrissi/mathbox","artifact_id":17058,"observed_at":"2026-10-03T06:33:17Z","capabilities":["Interactive","Read","Write"],"field_sources":{"name":0,"author":0,"license":0,"version":0,"homepage":0,"keywords":0,"repository":0,"capabilities":0},"extraction_version":1,"conflicts_or_errors":[]}}