OPENAGENTSKILL / DIRECTORY

AI Agent Skills

Trouvez un skill pour votre prochaine tâche avec Codex, Claude Code, Cursor et plus encore.

Résultats · “beam”

16 Skills

Résultats: 16

Recherche

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…

Prix non confirméRechercheClaude Code
27GitHub
Navigateur et automatisation

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.

Prix non confirméNavigateur et automatisationClaude Code
27GitHub
Design et 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…

Prix non confirméDesign et UIClaude Code
289GitHub
Vidéo et audio

No visual example yet

Explore the skill

CTCDecoder

githubharald

Connectionist Temporal Classification (CTC) decoding algorithms: best path, beam search, lexicon search, prefix search, and token passing. Implemented in Python.

Prix non confirméVidéo et audioÀ vérifier avant usage
836GitHub
Design et 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…

Prix non confirméDesign et UIClaude Code
23GitHub

Guides et comparaisons

Pour les développeurs