1 instruction file for AI agents, collected from prove2me/prove2me_workspace. Install any of them at an exact version with mdr add prove2me/prove2me_workspace/<name>.
prove2me/prove2me_workspace · SKILL.md · Discover, prove, and contribute open math theorems on Prove2me, an open-source platform for math formalization at scale…