mathematical-constraint-formalization - AI Agent Skill for Claude Code & Cursor | Agent Skills