mathematical-constraint-formalization | AgentArea Skills