Agent skill · research science · sickn33
doc2math
Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
Why this skill is useful
Provides a structured method for converting narrative documents into mathematical problem specifications, which is a specialized domain knowledge not commonly found in general AI training.
What it needs
About 2k tokens when loaded. Last updated 2026-08-07. 44,571 stars on the source repository.
What this skill does
DOC2MATH — Document-to-Mathematics Problem Specification When to Use This Skill "Formalize this problem statement into math" "Extract the mathematical structure from this research paper section" "What variables, constraints, and objectives are in this spec?" "Convert this word problem to a structured MPS" "Find what's missing in this problem formulation" Zero-Inference Protocol (Mandatory) 1. Closed World — do not assert unstated facts or numeric values. Structural notation implied by source phrasing may be proposed only with the explicit inference tag required below 2. Grounding Rule — every element must cite the exact source phrase ("evidence" field) 3. No Silent Filling — unknown values use null; ambiguous types use "ambiguous" 4. Inference Tagging — structural inferences tagged "inferred": true with "inferencebasis" 5. MISSING Markers — elements mentioned but insufficiently defined get "status": "MISSING" with "missingreason" 6. No Hallucinated Math — never introduce equations or values not in the source text Limitations Does not invent missing equations, domains, values, or assumptions that are absent from the source document. Requires enough source text to cite every extracted element; sparse prompts should be returned with explicit missing-information markers. Produces a formal specification, not a solved optimization model or proof. How It Works Step 1 — Receive Document Accept the document text, research excerpt, problem description, or specification as input. …
How to use it
Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:
@skills sickn33/doc2math