1 instruction file for AI agents, collected from monotykamary/math-skill. Install any of them at an exact version with mdr add monotykamary/math-skill/<name>.
monotykamary/math-skill · SKILL.md · Research partner for deriving mathematics up to the frontier. Use when the user studies real analysis, probability…