OpenAgentSkill
GitHub200+

OPENAGENTSKILL / DIRECTORY

AI Agent Skills

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

搜索结果 · “beam”

2 Skills

浏览器与自动化重置筛选

搜索结果: 2

本站下载量

自 2026年10月14日 起，本站文件下载、成功复制安装命令、点击技能外站入口均计入。同一账号或游客浏览器、同一 Skill 每个 UTC 日合计一次，不代表安装成功。数据可能延迟 5 分钟。

浏览器与自动化

暂未收录效果图

查看技能说明

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

指南与对比

开发者入口