Loading...
Loading...
Found 3,519 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.
Decide how to implement runtime and API changes in openai-agents-js before editing code. Use when a task changes exported APIs, runtime behavior, schemas, tests, or docs and you need to choose the compatibility boundary, whether shims or migrations are warranted, and when unreleased interfaces can be rewritten directly.