OPENAGENTSKILL / DIRECTORY

AI Agent Skills

次のタスクに合うスキルを。Codex、Claude Code、Cursor などのツールを探せます。

検索結果 · “beam-splitter”

19 Skills

検索結果: 19

検索・調査

No visual example yet

Explore the skill

lean-beam

leanprover

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…

価格未確認検索・調査Claude Code
27GitHub
ブラウザ・自動化

No visual example yet

Explore the skill

rocq-beam

leanprover

Use this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.

価格未確認ブラウザ・自動化Claude Code
27GitHub
検索・調査

No visual example yet

Explore the skill

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…

価格未確認検索・調査Claude Code
26GitHub
セキュリティ

No visual example yet

Explore the skill

Owns data understanding BEFORE any model is designed. Places and executes `data/eda.py` (a jupytext `# %%` script) via the shared in-process runner, reads the streamed d…

価格未確認セキュリティClaude Code使用前に確認
119GitHub

ガイドと比較

開発者向け