OPENAGENTSKILL / DIRECTORY

AI Agent Skills

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

Resultados · “beam”

16 Skills

Resultados: 16

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

No visual example yet

Explore the skill

elixir

j4flmao

Use this skill when building with Elixir — Phoenix framework, OTP, BEAM, LiveView, Ecto, supervision trees. This skill enforces: OTP design principles, Phoenix context b…

Precio sin confirmarDiseño y UIClaude Code
23GitHub

Guías y comparativas

Para desarrolladores