lebesgue-measure — Agent Skill for Research | Genaihub