OPENAGENTSKILL / DIRECTORY

AI Agent Skills

Encuentra una habilidad para tu próxima tarea con Codex, Claude Code, Cursor y más.

Resultados · “beam-splitter”

19 Skills

Resultados: 19

Diseño y 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…

Precio sin confirmarDiseño y UIClaude Code
289GitHub
Búsqueda e investigación

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…

Precio sin confirmarBúsqueda e investigaciónClaude Code
27GitHub
Navegador y automatización

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.

Precio sin confirmarNavegador y automatizaciónClaude Code
27GitHub
Búsqueda e investigación

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…

Precio sin confirmarBúsqueda e investigaciónClaude Code
26GitHub
Seguridad

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…

Precio sin confirmarSeguridadClaude CodeRevisar antes de usar
119GitHub

Guías y comparativas

Para desarrolladores