OPENAGENTSKILL / DIRECTORY

AI Agent Skills

为下一项任务找到合适的技能。探索适用于 Codex、Claude Code、Cursor 等 Agent 的工具。

搜索结果 · “beam”

16 Skills

搜索结果: 16

搜索与研究

暂未收录效果图

查看技能说明

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
浏览器与自动化

暂未收录效果图

查看技能说明

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
设计与 UI

暂未收录效果图

查看技能说明

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…

价格未确认设计与 UIClaude Code
23GitHub

指南与对比

开发者入口