Loading...
Loading...
Found 3,494 Skills
Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems locally.
Use when the user asks about finding people, managing their network, creating signals/intents, discovering opportunities, or anything related to Index Network. Always active when the Index Network plugin is loaded.