Skill
direct-proving
Screen a decomposition plan by first trying to prove all of its subgoals directly, then…
@frenzymathView SkillEvery skill, in one place :)
A skill ships inside a plugin. Install the plugin, and a skill that gets Auto-invokedWhat is this?This plugin ships a FLOW.md router the engine fires, so the matching skill runs itself. No slash command to remember.Learn how → runs itself when your prompt calls for it.
40,063 skills across 2,406 plugins. 1,623 of them fire as you prompt.
@frenzymathView SkillSkill
identify-key-failures
Synthesize the common stuck points across failed decomposition plans. Use when the current…
@frenzymathView SkillSkill
obtain-immediate-concl…
Derive immediate mathematical consequences from a theorem statement or subgoal. Use when…
@frenzymathView SkillSkill
web-research
Structured approach to conducting thorough web research with source citation
@cloudshipaiView SkillAuto-invokedSkill
codex-review
Get an independent code review from OpenAI Codex (GPT-5) on uncommitted changes, a branch…
@sateezgView Skill
