Claude Skill for converting narrative documents to Mathematical Problem Specifications — powered by DOC2MATH™ by K¹ (W. Kyle Million), IntuiTek¹.
A complete Mathematical Problem Specification (MPS) JSON object containing:
- Variables — named, typed, bounded, with evidence anchors to source text
- Operators — the mathematical operations in play
- Constraints — equality, inequality, logical, and domain constraints
- Objectives — what is being minimized, maximized, found, or proved
- Uncertainty — stochastic, epistemic, or measurement uncertainty
- Missing information — what the document implies but doesn't state
- Validation flags — completeness assessment and formalizability rating
Governed by the Zero-Inference Protocol: every element must cite its source phrase. Inferences are tagged. Missing information is surfaced rather than silently filled.
Give Claude any narrative text and ask:
- "Convert this to a math spec"
- "What are the variables and constraints in this problem?"
- "Formalize this research description"
The complete BYOK edition runs automated extraction via Opus-class Claude:
Purchase DOC2MATH™ BYOK Edition — $29 →
Instant ZIP download. Runs on your machine with your own Anthropic key.
Originator: W. Kyle Million (~K¹), IntuiTek¹