research-retrospective
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.
Install
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/research-retrospective" into this agent's normal skills directory: call the OMGSkills MCP get_install_plan tool for your agent and run the script it returns (it installs only the pinned commit and verifies SKILL.md), and stop if MCP or the pin is unavailable. Do not overwrite or change existing skills without asking me.
Manual command
git clone https://github.com/nidrissi/mathbox /tmp/mathbox && ln -s /tmp/mathbox/skills/research-retrospective ~/.claude/skills/research-retrospectiveFrom README
Research retrospective Produce a decision-quality view of the project, not a chronological summary. Default to no edits unless the user asks to reconcile files. Establish authority Determine repository root and applicable instructions. Resolve charter, live status, claims, conventions, literature record, durable proofs, computations, verification, research-history index, and detailed record directory. Verify that referenced live-role paths exist and expose competing aliases or broken authority links. Read the current summary and search the history entry point; follow relevant program/phase links to closeouts and designated route indexes. Do not load a long dashboard, claims inventory or index in full just to find the latest state. Open only the proof or research records needed to verify conflicts or load-bearing claims. Do not choose a newer timestamp over stronger evidence. Expose unresolved authority conflicts.
More from this repo
computation-audit
Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
literature-check
Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...