research-state
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.
Install
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/research-state" 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-state ~/.claude/skills/research-stateFrom README
Executable research state Follow project authority rules. The ledger checks recorded evidence, artifact freshness and dependencies, not mathematical truth. proof-recorded describes bookkeeping rather than a theorem proved under the project's vocabulary. Apply project promotion and approval policy separately; review status remains separate from evidence. Read ledger.md before interpreting labels or recording events. Resolve researchstate.py as TOOL in this installed skill. All artifact paths are relative to the project supplied with --root; put --json before the subcommand for complete structured output. Read before changing state For initialized state, start with check --summary, then handoff --goal CLAIM for a registered goal. Without a registered goal use status, or an unfiltered handoff. Check summaries contain counts and sampled issues with omitted counts; brief status/handoff views also list live, stale and unreconciled runs needing attention.
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...