# literature-check

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

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

```sh
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.

## Links

- HTML page: https://omgskills.com/library/nidrissi/mathbox/skills/literature-check/
- 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
- [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
- [proof-audit](https://omgskills.com/library/nidrissi/mathbox/skills/proof-audit/index.md) — Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars