FreeSkills
Knowledge wiki setup
- 418418 downloads
- 129129 likes
- 161161 saves
- Claude Code
- Codex
- Cursor
- and 3 more
Every premium and members-only resource for $9.99/month, as a no-commitment subscription. See the plans
Use this resource to turn a technical document into a verifiable mathematical specification
New
Free
In a terminal, from the folder you want:
npx --yes palatekit@latest install document-to-math-specificationWith no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.
First time: connect the CLI with
npx --yes palatekit@latest loginThe agent reads the document, classifies it, then extracts variables, constraints, objectives and uncertainties without assuming anything beyond the text. You get a structured specification with missing information flagged.
Mostly picked by
Updated November 2, 2026
You say
“Formalize this passage of a specification into variables, constraints and an objective.”

Skill published by sickn33 under the MIT license, delivered in its original version.
Listed unmodified
« doc2math » (sickn33, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
–
No ratings yet
Loading reviews…