OPENAGENTSKILL / DIRECTORY
次のタスクに合うスキルを。Codex、Claude Code、Cursor などのツールを探せます。
3 Skills
検索結果: 3
2026年10月14日以降に当サイトが返したファイル。ログイン済みアカウントごとに同じSkillはUTC日で1回。外部サイト、コマンドのコピー、インストールは含みません。反映に最大5分。
No visual example yet
Explore the skillleanprover
Use this when an AI should work on an external Lean project through the installed `lean-beam` wrapper, giving it direct efficient access to Lean's proof engine to avoid…
No visual example yet
Explore the skillWenyuChiou
Use when a goal needs multiple bounded agent roles, parallel or dependent task packets, explicit scope partitions, and a provider-neutral DAG. Not for research-domain ro…
No visual example yet
Explore the skillhassancs91
Generates a consistent illustrated image for every scene of a story — keeping characters, locations, and visual style coherent across the whole sequence using cascading…
