# research-attempt

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

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.

## Install

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

## From README

Bounded mathematical research attempt Pursue one route to a durable result, precise obstruction or next implication. A bounded package does not end a broader authorized investigation. Continue with available research-program (mathbox:research-program in plugin installations), or directly if unavailable. Honor existing authority; do not turn the log into a transcript. Resolve project context Read applicable instructions and current summary; search large files for the target rather than loading them wholesale. Resolve designated paths, or use project-context.md; paths are project-relative, never skill-relative. Follow history entry points to relevant route indexes. Use available research-state (mathbox:research-state in plugin installations) for brief checks and registered-goal handoffs, inspecting relevant contracts, reviews and dependency closure before trusting labels. If unavailable, inspect prose evidence directly. Clean bookkeeping is not mathematical verification.

## Links

- HTML page: https://omgskills.com/library/nidrissi/mathbox/skills/research-attempt/
- 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