Download for MacApple silicon, macOS 14+
Skill

literature-check

@nidrissi 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

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.