research-attempt
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
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/research-attempt" 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-attempt ~/.claude/skills/research-attemptFrom 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.
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...