# research-state

> Claude/Codex skill by [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars · Updated 2026-10-08

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

```sh
git clone https://github.com/nidrissi/mathbox /tmp/mathbox && ln -s /tmp/mathbox/skills/research-state ~/.claude/skills/research-state
```

## From 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.

## Links

- HTML page: https://omgskills.com/library/nidrissi/mathbox/skills/research-state/
- GitHub: https://github.com/nidrissi/mathbox
- Author: [@nidrissi](https://omgskills.com/library/nidrissi/index.md)

## More from this repo

- [computation-audit](https://omgskills.com/library/nidrissi/mathbox/skills/computation-audit/index.md) — Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [literature-check](https://omgskills.com/library/nidrissi/mathbox/skills/literature-check/index.md) — Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [manuscript-integrate](https://omgskills.com/library/nidrissi/mathbox/skills/manuscript-integrate/index.md) — Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars