1 agent markdown file indexed from prove2me/prove2me_workspace. Install any of them pinned to an exact hash 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…