doc2math
Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
npx skills add sickn33/agentic-awesome-skills --skill doc2math --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 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** — if it is not stated in the document, it does not exist in output 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 `"inference_basis"` 5. **MISSING Markers** — elements mentioned but insufficiently defined get `"status": "MISSING"` with `"missing_reason"` 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
- When to Use This Skill
- Zero-Inference Protocol (Mandatory)
- Limitations
- How It Works
- Step 1 — Receive Document
- Step 2 — Classify
- Step 3 — Extract MPS Components
- Step 4 — Surface Missing Information
- Step 5 — Validate and Score
- Output Format
- Best Practices
- Additional Resources
What does the doc2math skill do?
Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
How do I install it?
Run `npx skills add sickn33/agentic-awesome-skills --skill doc2math --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From sickn33/agentic-awesome-skills, a repository with 44,414 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.