Add doc2math — document-to-mathematics formalization skill
@KyleMillionchecks…add-doc2math-skill → master1 files · +1 −0updated 1w agoloading diff…
@KyleMillionchecks…add-doc2math-skill → master1 files · +1 −0updated 1w ago@KyleMillionchecks…add-doc2math-skill → master1 files · +1 −0updated 1w agoAdds doc2math — a document-to-mathematics formalization skill.
What it does: Converts any narrative document (research paper, problem description, specification) into a structured Mathematical Problem Specification (MPS) JSON object containing variables, operators, constraints, objectives, and uncertainty — all with source citations.
When it activates:
Zero-Inference Protocol: every extracted element cites its source phrase. Inferences are tagged. Missing information is surfaced, not silently filled. Outputs "status": "MISSING" with "missing_reason" for under-specified elements.
7 MPS components: variables · operators · constraints · objectives · uncertainty · missing_information · validation_flags
Standalone — works in any Claude conversation with no config. Full BYOK tool at ace-license-server-production.up.railway.app/byok/doc2math ($29 one-time).
By @thebrierfox — W. Kyle Million (~K¹), IntuiTek¹