OpenAgentSkill
GitHub200+

OPENAGENTSKILL / DIRECTORY

AI Agent Skills

次のタスクに合うスキルを。Codex、Claude Code、Cursor などのツールを探せます。

検索結果 · “beam-splitter”

2 Skills

ブラウザ・自動化リセット

検索結果: 2

当サイトのDL

2026年10月14日以降に当サイトが返したファイル。ログイン済みアカウントごとに同じSkillはUTC日で1回。外部サイト、コマンドのコピー、インストールは含みません。反映に最大5分。

ブラウザ・自動化

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
スキルを見る0当サイトのDL

ガイドと比較

開発者向け