OPENAGENTSKILL / DIRECTORY

AI Agent Skills

다음 작업에 맞는 스킬을 찾아보세요. Codex, Claude Code, Cursor 등을 지원합니다.

검색 결과 · “beam-splitter”

19 Skills

검색 결과: 19

디자인 및 UI

No visual example yet

Explore the skill

Create React loading, processing, selected, current, focus, and pressed states with the border-beam package's animated edge glow. Use when a card, button, input, tab, op…

가격 미확인디자인 및 UIClaude Code
289GitHub
검색 및 연구

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

가이드 및 비교

개발자용