literature-check
Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation translation, source-dependent implication, attribution, or a bounded novelty claim; cache authenticated sources for reuse. Use when a proof relies on a named result, the user asks whether a claim is known, or to cache a source. Do not use to audit internal proof logic, attack an implication, format bibliographies, or insert citations into a manuscript.
Install
With your agent
Install OMGSkills skill "nidrissi/mathbox:skills/literature-check" 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/literature-check ~/.claude/skills/literature-check
From README
Mathematical literature check Verify the exact implication, not merely related terminology. Prefer primary sources; snippets and failed searches establish neither proof nor global novelty. Define the source question State the project claim or arrow, likely result, acceptable source class, exact version and required hypotheses: coefficients, grading, variance, finiteness, actions, normalization, completion and range. Identify theorem verification, attribution, notation translation, overlap classification or bounded novelty as the task. Read existing literature records and dependent arguments first. Acquire and authenticate Query an authorized project-local cache by stable identifier before fetching; read source-cache.md before any cache command. A different or unversioned arXiv copy is only a discovery candidate. Prefer the published paper, official preprint, author manuscript or other primary source.
More from this repo
computation-audit
Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
proof-audit
Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.
